Specialize bitwise nan operation for boolean
Lazy typing for conditional statements
Add documentation for Lazyness analysis