//! String aliases used as map keys / logical names (environment, facts, etc.).
pub type ObjString = String;
pub type FactString = String;
pub type OrFactKey = String;
pub type ExistFactKey = String;
pub type AtomicFactKey = String;
pub type PropName = String;
pub type AbstractPropName = String;
pub type FamilyName = String;
pub type AlgoName = String;
pub type StructName = String;
pub type IdentifierName = String;