add define-tagged-binary-class, define-binary-type