treating BlockStmts as single stack item lists
better handling of expected/unexpected Error
fixed bad super call for If
added assertion message
removed ParameterList -> TypedList
removed remaining references to ParameterList
added matching + assorted fixes