Type System: Contract Abstraction Hints