rename Label dflt -> expr.
rename trace -> t for brevity.
type table now statically allocated.
comment.