some algebra datatypes with operations on them