More work on `inferType Let`. Converted Int to Word32 in Term's Let.