Fixed syntax of kinds
Made the kinding relation extensible and started a generated kind checker