Literals are function information

* variables can have different types in two functions
Variable in loop are not 'not lazy' but 'use many time'