Changing `if` to require the condition to be a boolean instead of a · Wilfred/trifle@f3e0d0f
'truthy' value.
This has several advantages. Firstly, it makes a type checker more useful
since previously the condition to `if` could be any type.
Secondly, it's more explicit. Compa...