Resolve default Integer as late as possible

i.e. right at the end, or just after a 'let' with no type annotation to
resolve any defaults in the binding