agda-sheaves: use lib.licenses