Closes #3 - Add tests to type constraints
Remove file