Moved agda-light notes to agda2atp repo.