Add initial typechecker.