Fix in the type checker: in case of node patterns, bind argument pattern
types to the value type.