trivial updates

New version number

*** empty log message ***

added Lattice demo;

added this stuff;

improved printing of errors in 'defs';
fixed small bug in 'standard' (it used to fail stripping shyps in some cases);

added comments

beautified file_info a bit

fixed bug in file_info

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.