Also, please note that JSIL.BoxedVariable is not the only valid reference type. There are also MemberReference, ArrayElementReference, etc.