forward type propagation on AST

[nikodemus]

1. Declared variable types to uses.
2. Method sends to known types to types of arguments after the send, and the return.
3. Compile-time warning when sending an unknown message to a known type.

Explicit representation of typechecks in AST, allowing early deletion of those not needed.