agda: add fuuzetsu to maintainers