Even more things to squash

 - generate type level symbols for nullary data constructors
Fix ByHand tests, add byhand Makefile target
Lambda promotion seems to work

Tests need fixing, code needs major cleanup. Many parts of code
are currrently commented out (Tuples, Maybe, List)