Merge branch 'robbert/lookup_merge' into 'master'

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

Closes #94

See merge request iris/stdpp!279