checking types