remove unnecessary `promote_abstract_parameters` function
remove TPatMatch (will revisit in the undefined future)