work on adding to prim-tycons, now working on adding to hash-type.fun