Remove redundant Posn from Scoped