[Spec] Isomorphic diff, first owl conversions