Bumped subminor version number
Made wrap encoding use partial functions in both directions
Added dimension-preserving versions of constructions in Util