Refactored TM fundamental functions and Turing Machines descriptions