updatePos :: Expression -> Expression -> Expression
updatePos src (Atom x _)  = Atom x (unPos src)
updatePos :: Expression -> Expression -> Expression
updatePos src (Atom x _)  = Atom x (unPos src)
updatePos src (Atom x _)  = Atom x (unPos src)