typing errors fixes - part 2

Typing errors are corrected for whole theoretical part.
fixing typing errors - part 2

corrected until 5.41 Definition