Although the nyhc frontend currently doesn't support recursively dependent modules, will Yhc Core or the tools that work with it, present any trouble? For example I was thinking of the possibility of making Jhc be able to compile to Yhc Core (ignoring issues of different sets of primitives). Isaac