Rename normalize* to aNormalize* in ANormalForm*

This deals with the lack of namespacing in the cake pattern (as usually
used).
Add common interface for ANormalForm* implementations