Doc: "small constructed types" void/never/boolean
doc: more on type constructor grouping
LinearVMFileSpec: Adding old uncommitted stuff (lots)