Split types into separate symbol table and type-level functions#1

krishnachittur wants to merge 4 commits intomaindrewxs/coal:mainfrom

refactor-typesdrewxs/coal:refactor-typesCopy head branch name to clipboard