added mutable variables via IORefs. Added while loop implementation.
removed superfluous variable from `unify`
starting to switch over to using text and strict variables. Painful so far D:
switched to T.Text for strings. Also fixed bug in type checker.