Makes Nothing a function.

This optimises lookahead by making it unnecessary to call 'tail' to verify if it's a nothing value, and our code stays simple by not branching more than we need to.