modify to lookup pattern environment and predefined relations in symbol pattern matching, causing error if not found
modify to pass tests for pattern matching provided appropreate environments
modify to include predefined relations in initial pattern matching environment, and some refactoring tests for pattern matching
modify to test using predefined relation in pattern matching