Syntactic facilities to deal with algebras - View it on GitHub