adderall.extra.misc: Fix typeᵒ to not unify with LVars

If both arguments to typeᵒ are LVars, we want any type to work, and
return only a single success. We do not want typeᵒ to ever unify to an
LVar.

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>