case `Fix-Sized` with |`Maximal Number of Elements`: val Unsigned Integer| 
of some iso..tag Collection with |Element: this.. T||T: AnyObject| {

 //Categories should be parametrizible
 category `Must not contain more than (`allowed amount of elements`: Unsigned Integer)` {
  applicant var;
  $.type is meta _ Collection;
  $.capacity <= `allowed amount of elements`;
 };

 refine self var buffer: this `Memory Buffer` as
 -`has requirement`: `Must not contain more than (`Maximal Amount of Elements`)`;
 fn `make new` (
  `filled with` elements: Self.Element, 
  `number of elements`: `Maximal Amount of Elements`)
 -returns: this Self 
 -`convinience constructor`
 -`type member` {
  ...
 };
};