Type error: error: ProjectionWrongType
 --> <current file>:1:1
  |
1 | { y = {=} }.( {y : Natural} )
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ProjectionWrongType
  |
