Agda syntax files merged.