* Add containsArrayOps(..) to check if any array terms are in the graph. * Add missing types to the typecheck function. Clean up the type check function.
* Add containsArrayOps(..) to check if any array terms are in the graph.
* Add missing types to the typecheck function. Clean up the type check function.



git-svn-id: 5069ba8be4c997ee907bf46f8ec9a2bbfb655637@881 e59a4935-1847-0410-ae03-e826735625c1

linpc/STP,linpc/STP,linpc/STP,linpc/STP,linpc/STP