*** empty log message ***
improved printing of errors in 'defs';
fixed small bug in 'standard' (it used to fail stripping shyps in some cases);
beautified file_info a bit
Removed bug in type unification. Negative indexes are not used any longer.
Had to change interface to Type.unify to pass maxidx. Thus changes in the
clients.