Progressing in the type checker - split code