Relational Algebra encoded in agda. Some operators are still missing, though