A Collecting Interpretation of Expressions (Without Powerdomains).