You can search for identifiers within the package.
in-package search v0.2.0
type ty
type ty_var
type ty_cst
type term
type term_var
type term_cst
type formula