Adding arity-0 {} and boolean result distinction.