Module operations 

Mathematical operations and queries for expressions

Methods for checking properties and extracting information from expressions.