add type of type parameters in the definition of type abbreviations#202

fblanqui wants to merge 3 commits into

Deducteam:mainDeducteam/hol2dk:mainfrom

fblanqui:Setfblanqui/hol2dk:SetCopy head branch name to clipboard