added back scRecursorElimTypes and scRecursorRetTypeType; fixed compiler warnings
added back scRecursorElimTypes and scRecursorRetTypeType; fixed compiler warnings

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script