In order to match eqc and PropEr syntax, we should support equals/2 and conjunction/1. This is mostly a note for myself to implement them -- neither looks out of my ability.