Celling 05. Types definition with checking

TODO