final pre-meeting changes. Added to do list to top of typecheck.g