Register tuple desc attributes
Fix up spiffs on attribute changes (attlen, specifically)
Specialize on attlen in spiff
TupleDescInvariant is only needed inside a specialization
Add attalign to invariants
Add attndims to invariants