Account for more instructions returning annotations
Clarification and motivation
I'm not sure when did it happen, but apparently now some env fetching instructions like NOW
, AMOUNT
attach a type variable annotation to the return type.
Acceptance criteria
Our Morley typechecker is aware of the documentation section describing such annotations.
Edited by Konstantin Ivanov