Represent fully-evaluated values
Separated non-template functionality
Added extension ideas
Added constants, finite sets, and related terms

Also rearranged/simplified some of the existing evaluation logic.
Added tuple recombination
Linted GraphTerm.hs

hlint GraphTerm.hs -i 'Use camelCase'