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