TypeCtorExpr work, support more builtins, various cleanups to errors and other
fixups