initial implementation of transition function for ctp. Added hash, equal and print for CTPState