updated log after supervision
Parametrized output from lexer. All typechecks, nothing works.