onto program transformations
more progress on equiv
Merge branch 'master' of https://github.com/orchid-hybrid/SF