Generates labels using state monad, be-otch.
Finished some compileAssign cases.
More topExprs, uniq vars.