pub type Variable = <AquascopeFacts as FactTypes>::Variable;