Adding cantor cons
unifying internal use of encode/decode and adding assertions
switch to unified bind/s
generate more to test