Creates an ALWAYS (G) formula.
G
Example: always(state((s) => s.isValid))
always(state((s) => s.isValid))
Always<T> always<T>(Formula<T> operand) { return Always<T>(operand); }