Started work on the kind checker