Add type checker check to prevent fields referencing fields with multiple values

[jvdb]

For example:

S {
  a: 1, 2;
  b: a;
}

Should produce an error on S.b's value definition.

[jvdb]

The same should be done for referenced fields that are overridden by multiple fields such as discussed in issue #25.