Fix hyperbunTableForType for pointer types#3

hi-rai merged 1 commit intomainHypersequent/hyperbun:mainfrom

dev/himanshu/hyperbunTableForTypeHypersequent/hyperbun:dev/himanshu/hyperbunTableForTypeCopy head branch name to clipboard