Title: Modules and persistence in standard ML