Closed #19 - issue was due to missing cases in contramapL/R. These are now defined in terms of wye.attachL/R. Added tests