Simplify by using ALEXANDRIA.
Add PROGF to export, tests.
Add DFLET, PROGF to API documentation.