Constant Forall 

pub const Forall: Symbol;