2.0 ternary logic

+ Docs to follow when we fix null semantics