Add majority of expression rewrite rules for imperative transformation.