lambda-term 1.5 and utop 1.6