Replace type declarations with newtype declarations

[rlupton20]

Improve type safety by replacing type declarations with newtype declarations. Smart constructors should be used so arbitrary data can't be encapsulated in the newtypes. Helps the compiler catch more errors.