Finished porting TypeChecking to use ASaP Types (but now regions.cpp fails)