10:53:16ShinmeraSo the idea is as follows: parameters are defined as slot classes, and properties are defined as classes with parameter slots + a single, typed value slot
10:54:25Shinmerablocks are defined as classes with property-slots with a constraint check (multiplicity, related slots) that contain instances of the associated property class.
10:54:55ShinmeraSo there's two parts to a property definition -- the type and parameter constraints encoded in the container class
10:55:12ShinmeraAnd the block constraints encoded in the slot class