remove the implicit formal for "main"
changed the name of "main" to "prog"
bugfix: use new level for Frame.Proc of "prog"
bugfix: level (not level') should be returnd for transDec for FunctionDec.

Old version returned level' that is the level for newly declared function.
level (not level') should be returned here.
bugfix in Semant in type checking Record.