ppx extension for deriving a witness that a type is intended to be stable
