This symbol already exists in the standard grammar (as a
left-associative infix at level 500). It maps to the name
"APPLICATIVE_FAPPLY", so this name is the one scripts should target if
they want to overload in another notion binding to <*>.