Lexer: check that integer literals fit their type. Also: deduce their type to Int32, Int64 or UInt64 depending on their value.