Anselmpro

Anselmpro is an interpreter and compiler to Anselm bytecode (TODO: describe bytecode/VM)