WIP -- Move typeck into its own crate. Blocked on: diagnostics.