Make new P-log adjustments

[nrueh]

Changes:

• &obs should allow all kind of attributes( not just random)
• &do should have (optional) argument for experiment name
• &obs and &do should have no body allowed

What to do about sorts?

• Add boolean sort to meta encoding?
• truly_random atom not needed? Already got int( intervention)