Domains and expressions: an interface between two approaches to computer algebra