model: infer the types of attributes with unary - and once