Positions in AST, errors and tests

This is to eliminate a warning, right? Could be `case _ => None` for the two lines