Add syntax support for unsafe nodes.

Currently no integrity check is performed (i.e., check that each node
that uses an unsafe node is itself declared as unsafe).