Defining new Jax types with hijax — Blankdot