There are type annotations. The syntax is `(expression : type_expression)`.