Added typing to docs.
Replacing cleanup bash script with node.js script.
Adding support for VIM annotations.
Update in typing rules.
Cleaning TCMonad API
Many changes in casting.
Restoring dead code casts.
Fixing bug in convertTRefs.
Adding support for mutability attribute.

  - Also removing public/private: this should be taken care of by TS.

  - Distinguishing between the different types of annotations: fields, methods,
    constructors, variable declarations.
Revisiting subTypeContainers. NOT FINISHED

  - subTypeContainers unfold the type structures as needed to add the necessary
    K-vars and also returns the potentially unfolded types.
Minor formatting