Fix parsing errors in parse_type

The trailer `:` causes the problem
Changes for executing in F# Interactive

Summary:

1. Change some recursive tactic function values to functions to delay
StackOverflowException
2. Change 'parse_term "' to 'parse_term @"' to escape input strings
3. Change 'parse_type "' to 'parse_type @"' to escape input strings
Some progress on loading modules

Modules can be loaded up to quot.fs
Fix conflicts on int module
Merge branch 'master' of https://github.com/jack-pappas/NHol