Boolean conventions

This pull request implements the proposal in #85.