Removed annotations from parsing labmda, pairs and lists.
Annotations are now handed out before calling algorithm W.