Add check_types support

Listing check_types is handy and will be useful for people (like me).