Merge pull request #8 from matijapretnar/brazil-standalone

Various small fixes
Fix typo (eqpath->eqtermalg)
Added universe annotation to El
Added universe annotation to nProd
Added universe annotation to nPrEqual and nJuEqual
Added universe annotation to coerce
With universe annotations, path equivalence works
Fixed typos; colored inferrable annotations
Added missing indices to \El