Include the `where` clause from a "real" type when mapping type aliases