Newtypes and Contracts

Using newtypes to enforce contracts in the type system