Regex to extract type in desugaring process