Remove old 'install.txt' file.
Fixed a couple bugs with code generation.

We now support multi-arity type application in core of the form:
    (\t1 t2 -> ...) @t1v @t2v

Fixed issue with substuting types into substituted types.
Added support for -O1 when compiling with the plugin.
Use newtype constructor and deconstructor for newtype casts.
Moved smten plugin to end of core passes.

And hacked up support for Casts needed to make it work.
Added another case for bool case.

Unfortunately, I don't have a test case for this, but it showed up in shampi.