package typechecker