Convenience macro that defines a guarded type that promises to be always valid. It may be used in different ways, see the examples for details.
Like define!, but for extending of existing guard.
define!
