You can search for identifiers within the package.
in-package search v0.2.0
type left
type right
type diff
Detailed difference trace
type state
environment of a partial patch