* properly disallow unresolved generic proc values * mirrors semoperand * shallow efTypeAllowed, add back special case