Added shebang, improved let.
Added types.
Added numbers.
Lambda and js types.