Finish documentation for declaration linking.
Type check expressions.

Represent types with new BPLTypes class.