Fixed bug with lack of MLtyped at pattern matching with wildcard and constructor (iter_mltyped -> map_mltyped). Some enhacements.
Some enhacements.