No longer export Interpreter.interpretAst.
Revert "No longer export Interpreter.interpretAst."

This reverts commit e428000f2ed6186acfc0c290ebbf719202c7c404.
Just remove ret when formulating new env.
Put all type instantiation logic into single fn
Export instantiateType fn from Interpreter.