initial support for simplifying expressions