grust/types.rs: Documented the purpose of the module