Changes to AORTA programs - ifs and capabilities

Programs such as the following are now possible:
if bel(me(Me)) {
role(R) : true => enact(R).

if org(rea(Me, gatherer)) {
obj(O) : cap(O) => commit(O).
}
}
Refactoring
Minor OperA converter changes