..
..
type check of expression, clauses and atoms
type check of if, elif
+ trace tool