TM project plan Extend Haskell default Data.Turing by Complexity report for each default D-TM evaluation Show Halting problem, and Entscheidungsproblem Show RE Preparetion for graph problem analysis