Tests

Add type tests and travis configuration.