alloy expressions and operators; split ASig::Static into Builder and Static
renamed FieldMeta to Field