Add good code for lazy analysis
Add log to numpy
Specialize bitwise nan operation for boolean
Lazy typing for conditional statements