block processing fixed for syntactics in typechecked trees