refactor: improve types testing types definition