Parallelize.
Use defnr.
Consult the prel directory.
Better handling of projectivity.
Factor out the export-problem routine.
A single-argument function is OK.