Touchups: Better error messages.
Fixed: various, touchups.
Fixed: various. "No type" specs all pass.
Fixed: :exact_size
Fixed: various
Added: :array