Added labels to the Eff language
Fix evaluator, exception and random effects