#74 Allow specification of attribute multiplicities

[Lars Hamann]

class Foo
&nbps; boo : String[1]
&nbps; poo : Integer[1..*]
end

replaces invariants
inv self.boo.isDefined()
inv self.poo->size() > 0