Issue 6453 - Allow multiple invariant per struct/class

http://d.puremagic.com/issues/show_bug.cgi?id=6453

This is a try to take over the @yebblies 's work from #653.