backup
some progress in the typechecker