type-hint-0.1: Guide type inference with proxy values