Rewrite TypeChecking.Definitions.Patterns