Fix #792: Disallow local facade types
Merge pull request #797 from gzm0/no-local-facade

Fix #792: Disallow local facade types