Wed Aug 5 23:38:15 EDT 2015

Prelim conclusion

- Missing link is RSig -> RSig to Sys translation, since Comp requires
  that form for code generation (which is equivalent (proof: construct
  maps ??))

- Continue using RSig.hs to construct applicative programs (as opposed
  to compositional programs using the Category and Arrow instances of

Once compilation work, it is easy to verify if there are sharing
issues.  If there are, try to fix them manually.