An environment for specifying properties of dyadic relations, and reasoning about them. I: Language extension mechanisms