Include pattern synonyms as AConLikes in the type environment,
even for simplified/boot ModDetails (fixes #9417)