> All we need is USER-DEFINABLE TABLE LENGTH Pratically, are you proposing a new {...#} contructor that is just syntactic sugar for:
The [...] constructor can be used instead