since the VT is fixed for a ImmLeaf, there is no reason to expose it to the matching...