debugging of bigroup problems - fixed in LucreEvent. bits of clean up, make unary/binary ops visible for types so that extractors can be used.
add simpler `apply` method to Attribute. Add constant folding (at least in the most simple form) to expr
constant folding for all expr
clean up