TkOtherwise for 'case' statement, new case example
Changed imports to reduce module specification. Changed [a] to (Seq a) in more places. Added StaticErrors: CaseWhenDataType, ForInDataType, Break/ContinueOutsideLoop. Added LoopLevel to state. Loop management in StLoop and StFor. Function checkInitialization zips the initialized values from a [[(Identifier,Syminfo)]] into a [(Identifier,SymInfo)]. Now Checking body of StIf even when the condition is not Bool, deleted flags in StIf. StCase now works, even initialization. StLoop works, even initialization. StFor is missing initalization for the  variable. StContinue and StBreak now report errors when they are not inside a loop or a for.
StFor now works with 'in' variable. More loops examples. Fixed imports to reduce module specification. type Seq (Lexeme Statement) = StBlock. StCase print.
TkOtherwise. Dummy StDeclarationList for the syntactic sugar 'Int a = 1,  b = 2'. Case now is When.
Seq management in Sapphire. ValFunction now has impl insted of body
StBlock in remaining places