LambdaExpression should not inherit from MemberSelection
LambdaExpression should not inherit from MemberSelection, since it does not initialize receiver and member
The change should not impact the expressivity of ABS, including the ability to chain MemberSeletion, for example, receiver.member.memberofmember