A Pythonic implementation of  TypeRestriction ('type promotion' in C-terms), based on 'Duck-Typing' via abstract base classes.