Term projection in annotation seems to be ignored (identity)

Example:
———————–
module foo
imports list-cons
strategies

main =
!1{2}
; ?_{}
———————–

Result: 1{2}

Submitted on 1 January 2005 at 17:37