Change the way that source annotations work

Use Located, instead of replicating its functionality on every AST element.