Define a type system for BIPL with gotos and without while-loops. (While-loops can be encoded in such a language by means of if-statements and gotos.) The type system must model consistent declaration and referencing of labels. That is, each label can only be placed once in a program. Further, each label referred to in a goto statement must be declared.