allow specials for lazy and strict arrays and lists without specifying element type

moved cPredefinedModuleIndex to predef
adjust predefs for strict and unboxed list symbols
removed copy of adjust_predef_symbol and renamed to adjustPredefSymbol

frontend/check.dcl

@@ -2,8 +2,6 @@ definition module check
 
 import syntax, transform, checksupport, typesupport, predef
 
-cPredefinedModuleIndex 		:== 1
-
 checkModule :: !ScannedModule !IndexRange ![FunDef] !Int !Int !(Optional ScannedModule) ![ScannedModule] !{#DclModule} !{#FunDef} !*PredefinedSymbols !*SymbolTable !*File !*Heaps
 	-> (!Bool, *IclModule, *{# DclModule}, *{! Group}, !(Optional {# Index}), !.{#FunDef},!Int, !*Heaps, !*PredefinedSymbols, !*SymbolTable, *File /* TD */, [String])