Creates an ALWAYS (Globally) operator for this formula. G(this)
G(this)
Always<T> always() => Always<T>(this);