Type kinds and some fundamentary functions