Pretty-print built in synonym families in interfaces

This closes #9181.