(j3.2006) Unlimited polymorphic and LOCK_TYPE (and EVENT_TYPE)

[Van Snyder]

There needs to be a constraint against the <source-expr> being of type
LOCK_TYPE (or EVENT_TYPE in the TS) if any <allocate-object> is
unlimited polymorphic.

For LOCK_TYPE, this needs an interp.

There needs to be a constraint against the <data-target> being of type
LOCK_TYPE (or EVENT_TYPE in the TS) if the <data-pointer-object> is
unlimited polymorphic.

For LOCK_TYPE, this needs an interp.