WIP: started implementing version out of deftypes