Adding all types before substitutions.

This should do for the basic cases.
No Substitutions are performed yet, but the note is there already.
(Tups are yet to be implemented.)
Code organization changes inside anarelevance.

Removing redundancy by using fewer rules and depending on the catchall case.
Also renaming for a more consistent phrasing for rho env (much like the regular
environment, I'm calling them just "rho" and "gathRho" for in and out,
respectively.
Adding relevance annotations rules.

Adding the rules to describe the necessary local relevance annotations.
We only depend on this info in the case for plain lets, to see if we will
consider the let's expressions rho when calculating the final rho.
This is still to be implemented, however.
Getting relevance environment flowing in

This should cover the relevance environment going in.
It closely (tries to) mimic the system I wrote on my thesis.
Relevance envs being returned, incl. context split

Included code for context splitting and returning updated environments, with the
proper relevance types.
WIP: Basic relevance typing, next: unification

Basic relevance typing and some comments in code to help guide me
through with the unification, which is next.
Relevance analysis substitution implemented.

Uses the same idea of the old code, but for the new structure.
Getting most of the relevance unification in place

This should cover most of the code already.
All I lack is propert unification before handling rhos and proper
containment/applicativeness.
A first attempt at unifying relevance types.

This is an AG based unification. Proved to be quite clean, even if verbose.
Can't test it until I fix the loop I got in the AnaRelevance.cag, though.