Added annotation variables to constructor types,
together with fetching their constraints.
We need some substitution of these constraints (currently global, possibly loses precision)
Added type signature to pairs (type signatures are now between < :: >)
Merge branch 'master' of https://github.com/joaopizani/INFOAPA-P2-TypeAndEffect