added rule to typechecker