checkpoint some progress on a better way of structuring programs
checkpoint some progress on a better way of structuring programs

this seems promising, but perhaps i went overboard with the Coq module
system, as the module system appears to be half-baked in several ways..
maybe i need to understand modules better, or switch to records instead.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl