(Spec clarification) Lambda Metafactory spec should state DMH constraint on implMethod

The MethodHandle passed to the lambda metafactory must be a direct method handle, suitable for cracking by MethodHandleInfo. We could either borrow the constraints of MHI or the constraints of "method handles that can be in the constant pool"; the latter is narrower and fits better into intended usage.

This is a spec-only clarification.