Type relational algebra model (fork of ertes-ag's relational)

no issues!

there don't seem to be any issues for this project.