Cleanup usage in the case of ⊥

Additionally hide some constants needed for internal housekeeping.

Signed-off-by: Gary Pamparà <gpampara@gmail.com>