ewffs are now represented as terms instead of callbacks.

The term representation allows to extract variables and names from ewffs
so that H+ can be determined correctly.