use | to separate conditions in sets and lists
add union and intersection over domainofapplication; fix lowlimit symbol for <limit>
add `exp`
rejig contentDictionaries, do something for aritherror

aritherror now gets a colon after the error name

fixes #12