Every SaLT/CuMin module now includes a prelude.

At the top of every SaLT/CuMin module, ADTs and bindings from a
"prelude file" are included (using TemplateHaskell).
Additionally, QuasiQuoters for SaLT and CuMin programs were added.