hare::types provides an implementation of the Hare type system. See [[store]] to
initialize a type store and [[lookup]] for looking up Hare types from their
[[hare::ast::]] representation.
