twiddle
add alpha-renamed experiment
Add special hack for commutative functions
Merge branch 'experimental' into algebra