added  reduce to inductive family ExpU
added reduce to Exp : Float -> Units -> Set, could not get velocity equation to refine, perhaps because of floats