mathlib3

6f8ee013 - add `to_Spec`, fix some trivial things