El formato de expresión { expr with . } se puede usar sólo con tipos de registro. Para compilar tipos de objeto, use { new ...