Adding a trivial pretty printer (not enabled yet)
Removing commented out code
Changing the pretty printer for JS Type.
Adding way to show the compiler options