Typechecker микроконтроль