working on beta reduction for expressions with type synonyms