Typing rules

[Lut99]

This chapter defines BraneScript's typing rules:

1. Rules for matching types (implicit cohersion);
2. Rules for inferring types; and
3. Rules for when there is not enough information.