Type checking service: Introduce check and declare computation kinds