more iterators in base/parsers;
Type.Conv.to_prolog can curry or uncurry types
 declare types in hysteresis