Showing an alternative implementation technique for eval and sub.  Also included alpha-equivalence written in the style of a weakened alpha ordering.
Merge branch 'master' of https://github.com/armoredsoftware/protocol