Didn't realize about tuples, thanks for info! Are they typechecked on length?

Out of curiosity, can I ask for your reasons about macros, if you have them fleshed out enough? Not really sure what you mean by "pluggable import handler" in this context, though. Tx!