Drop `DiagNone` precondition of `lookup_merge` rule of `FinMap` interface.

Closes #94

See merge request !279