initial test code for root context
added more types for Arity and Law
initial multiproducts code