The XYZ abstraction levels of Poker-like languages