Intensional Manifest Fields in Module Types