******************************************
Celling 05. Types definition with checking
******************************************

TODO