I vote for all three. * Types so I can prevent all the low hanging fruit. * Contracts so I can encode invariants that the types can't alway

I vote for all three. * Types so I can prevent all the low hanging fruit. * Contracts so I can encode invariants that the types can't always express. * Conventions so that everyone is talking the same language and there is less confusion