pub trait FactTypes: Copy + Clone + Debug { type Origin: Atom; type Loan: Atom; type Point: Atom; type Variable: Atom; type Path: Atom; }