fixed some of the unsolved metas introduced in Agda's latest version. Some still left