Adds experimental SuperCollider (language) output

Some missing instances
Cleaning
Clean and consolidate export code #190

Cleaning the "catastrphic" instance by deriving most
compiler-generated constraints from the lens laws. I will try
to wrap this up in some nice generic constraint, lens-style...
Clean and consolidate export code #190

Abstracted out constraints somewhat more...