Make Dim type family polykinded#40

Shimuuar merged 3 commits intomasterShimuuar/fixed-vector:masterfrom

polykindsShimuuar/fixed-vector:polykindsCopy head branch name to clipboard