rename project() to proj() #202
Description
This may generate a heated discussion but let's have it now.
The topic is the relational projection operator. The verb form is project (stress on the last syllable).
In matlab, we implemented it as Relvar.pro(). In Python, we implemented it as RelationalOperand.project().
I propose to rename it to proj in both languages while keeping the old methods as aliases for backward compatibility.
This will make the documentation and the tutorials more consistent.
The word project looks too much like the noun project (stress on the first syllable), which may be confusing. I like proj because it does not look like the noun project, which users may be primed to interpret as a software project.
Since we will keep the old methods for backward compatibility, this will not affect the current code based but the new tutorial will consistently use proj.