Humble beginnings of typechecker