Add missing unbound
Implement StrictMeta encoding-decoding-reifying