This pull request fixes Kernel#p type. Currently the return value is typed as NilClass, but actually it returns the argument type. But, I think this proposed type is not the best way. Because it is...