Sync with mirage-types-0.4.0