More work on jcomp.pl -- Mostly there now