Add definition environment for MDP. Fix #74 maybe