Make let: annotations optional.
Fix tests.