Merge branch 'typeoffice' of file:///home/jose/stuff/fl
Finished moving.
Fixing 'Typechecker'.
Fixing typechecker.
Fixing typechecker.
Fixing typechecker (now it has an infinite loop).
Fixing typechecker (removed infinite loop, hopefully).
Cleaned up code.
Fixing typechecker.
Fixing typechecker.
Fixed typechecker to replace existential type variables on return.
Fixed 'synthOuterForall' to handle non-forall cases.
Added more typed functions to 'DynamicLibrary'.
Fixing typechecker: recursive synth of outer foralls.
Removed unused functions.
Refactored and cleaned typechecker.
Improved error messages.
Commented in/out some typed functions in 'DynamicLibrary'.
Improved error messages in typechecker.
Fixing the typechecker.