Move type family IdxVal outside of type class Index
Add mutable heterogeneous vectors
Add function for freezing mutable vector