speeded up the simplification a bit
added convenient macros to create transformations and guards and added experimental implifit quoting macro which works with locals