caledon-2.0.0.0: examples/circtype.ncc

unsound a : b av -> prop
   | av = a bv

unsound b  : a bv -> prop
   | bv = b av