move V and Transformable instances for Measure to -core; Measure now takes a vector type
express Transformable instances in terms of instance for Measure