A modest typechecker