Added basic reduction strategies; Added pattern synonyms for expressions