Type debugging function