Moved dead code elimination from type inference to the after transformer
Lex exponents in numbers in bootstrap