when printing lambdacube, show when type annotation differs from infered type
when printing lambdacube, show when type annotation differs from infered type

darcs-hash:20060228035531-1a7c6-97b93cbebb69c001ff704914ed281c6263da695a

jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc