added wiring compositions, typechecker is now feature complete, error messages still leave a little to be desired, and still much more to do