atoms added, but doesn't compile, because of a type error in the syntax tree