refactor method to allow specialization + special case method type#580

Roger-luo wants to merge 2 commits intomainQuEraComputing/kirin:mainfrom

roger/method-specializationQuEraComputing/kirin:roger/method-specializationCopy head branch name to clipboard