A Small Positive Supercompiler in Scala (not lite)