Commenting and whitespace in mirage-types, mark a few TODO