moved a.Outside to RelationProperties, inlined notation definition; inlined eval_rel notation definition