Nominal typing

[raviqqe]

Problem

• Type check with structural typing is complex and takes a long time.
  • LLVM 4.0 (or 3.0?) switched to full nominal typing for this reason.

Solution

• Use nominal typing in most places.
• Functions should still allow structural typing.