Macro property 

macro_rules! property {
    ($member_def:expr) => { ... };
    ($member_def:expr ; $body:expr) => { ... };
    ($name:expr => unknown) => { ... };
    ($name:expr => unknown ; $body:expr) => { ... };
    ($name:expr => $target:expr) => { ... };
    ($name:expr => $target:expr ; $body:expr) => { ... };
    ($name:expr => $domain:expr => $range:expr) => { ... };
    ($name:expr => $domain:expr => $range:expr ; $body:expr) => { ... };
    ($name:expr => { $card:expr } unknown) => { ... };
    ($name:expr => { $card:expr } unknown ; $body:expr) => { ... };
    ($name:expr => { $card:expr } $target:expr) => { ... };
    ($name:expr => { $card:expr } $target:expr ; $body:expr) => { ... };
    ($name:expr => { $card:expr } $domain:expr => $range:expr) => { ... };
    ($name:expr => { $card:expr } $domain:expr => $range:expr ; $body:expr) => { ... };
}