Adds declarations checks for method and constructor: class type
verification when defining a local or instance variable, or formal
parameter.
Fixes #48.