Parsing of annotated lists and pairs, although we probably want to hand out annotations ourself (instead of by user)