pairing the binding with the name makes things considerably messier
implement substitutions and equality

While doing that I realised that it's better to allow pattern matching
on arbitrary things in Case binding the scrutined to a variable.

This makes the distilling problemating, I should probably adopt two
case form in STerm so that I can distill both.