Feature/identifiable type hints

Depends on #139.