Just a suggestion... if you used the 'any' pseudotype (or one of it's variants), you could eliminate a lot of code and allow users to store any arbitrary type that they wanted.