fixes for repl printing
resolve and import types
bind type imports correctly, and Bool->Boolean