Function declare_state 

pub fn declare_state(
    decl: &str,
    span: &Span,
    id: VarId,
) -> Result<Variable, Diagnostic>

State: <subject> is <a> | <b> | … or State: <subject> is <min>..<max> [unit].