Fix #792: Disallow local facade types