Add INT to kinds with default type