Typeable instances
Update constraints
Increment the minor version
Update Travis