added type hint for type-family usage of promote, builds on 7.8.3

fixes #3