Adding the syntax of type annotations
Shrinking the type language