adderall.internal: Fix unify with a nil environment

When we have a nil environment, short-circuit out without substituting
any variables, and return nil. This fixes memberᵒ and similar goals.

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