Add the last of the SemaChecking-gen code.