Abstract syntax: Designador and Exp implemented