Remove `{-# OPTIONS --allow-unsolved-metas #-}`

[pmbittner]

I do not know if we want to remove these yet but we do not need them anymore and they are all over the place.

[pmbittner]

fixed in librarian