Remove extraneous space
Add -Wall to .cabal file
Create and use type aliases
Initial working version of variadic functions

Not actually used yet though
Now able to wrap and run a vararg function

This required replacing Proxy# with Proxy so that it could go in a
tuple, and putting in Proxy arguments for m and a to work properly.
Better formulation of evaluating variadic functions

No need for two separate functions, no need for Proxy m and Proxy a,
etc.
Have a way of finding value in SatMonad

Because of inability to partially apply type aliases this can't be the
same as calculating SatMonad, but able to poly-kind FindSat so it can be re-used.
Variadic functions can't choose their result type

It appears being able to use variadic functions to both lift a SatMonad
and lower a function/value isn't going to work.  So let it only be used
for lowering.
Rename {,_}lower to {,_}liftSat

Since variadic functions can't be used for both lifting and
lowering (and there don't seem to be any cases where lifting requires
more than one value), rename this and use lower for actual lowering.
Rename VarFnType to VarFunction and simplify

No longer have an option as to what the return type of the resulting
function is, so no need for the extra aliases.
Can now lower variadic functions

Changes include:

* Add proxies back in for applyVFn (required to typecheck)

* Make SatValue_ part of SatisfyConstraint_ rather than trying to
  somehow specify constraints with non-typeclass types.

* Shift SatMonad_ inside SatisfyConstraint_ as well

* Rename TrySatisfy to SatDepth
VariadicFuncs can now have an arbitrary LHS rather than just constant