Add Cast expression
test for cast behaviour
Add type specialisation for expressions
docs
add maybe tests for truthy, falsey and null
refine intersection test
tests for Anything and Nothing intersections
implement ExactValue type