Change rules for pattern matching vis variables and constructors.