static types

Damien Katz had an eiphany about static types. Some great comments.