go back to typed ... only here stuffs are implemented ...
removed size_min
use \min (allowd in Typed model)
reput the code of strcmp
removed temporary file