Lazy typing for conditional statements