This intention replaces a shortened type on the right-hand side of
as/as?/is/!is
by its complete version.