typechecking constants. typechecker main wrapper