ocompile ::= 
	{#prod <anything>:name <anything>:locals <ocompile>:body}
			=>	[ (list 'defmethod (intern (string-upcase name)) `((o ,*ometa-compiler-target*))
					 (list 'let locals body))]
|	{#and <ocompile>*:parts}
			=>	[ `(oAnd o ,(cons 'list (loop for p in parts collect `(lambda (o) ,p)))) ]
|	{#or <ocompile>*:parts}
			=>	[ `(oOr o ,(cons 'list (loop for p in parts collect `(lambda (o) ,p)))) ]
|	{#many <ocompile>:term}
			=>	[ `(omany o (lambda (o) ,term)) ]
|	{#many1 <ocompile>:term}
			=>	[ `(omany1 o (lambda (o) ,term)) ]
|   {#form}
			=>	[ `(oform o (lambda (o) t)) ]
|   {#form <ocompile>:contents}
			=>	[ `(oform o (lambda (o) ,contents)) ]
|	{#not <ocompile>:pattern}
			=>	[  `(onot o (lambda (o) ,pattern)) ]
|	{#apply #super <anything>:prod <anything>*:args}
			=> [ (error "call to rule in super class not supported yet ~A ~A" prod args) ]
|	{#apply (~'super' <anything>):prod}
			=> [ `(apply ,prod (list o)) ]
|	{#apply (~'super' <anything>):prod <anything>*:args}
			=> [ `(applyWithArguments ,prod o (list ,@args)) ]
|   {#assign <anything>:name <ocompile>:value}
			=> [ `(let ((v ,value))
			        (setf ,(intern (string-upcase name)) v)
				v) ]
|   {#pred <anything>:code}
			=> [ `(opred o ,(read-from-string code)) ]
|	{#action <anything>:code}
			=> [ (read-from-string code) ]