Remove implicit contexts from grammars

src/main/scala/inox/grammars/Aspects.scala

src/main/scala/inox/grammars/BaseGrammars.scala

src/main/scala/inox/grammars/ClosureGrammars.scala

src/main/scala/inox/grammars/ConstantGrammars.scala

src/main/scala/inox/grammars/ElementaryGrammars.scala

src/main/scala/inox/grammars/EqualityGrammars.scala

src/main/scala/inox/grammars/ExpressionGrammars.scala

src/main/scala/inox/grammars/FunctionCallsGrammars.scala

src/main/scala/inox/grammars/SimpleExpressionGrammars.scala

src/main/scala/inox/grammars/ValueGrammars.scala

src/main/scala/inox/grammars/aspects/DepthBoundAspects.scala

...n/scala/inox/grammars/aspects/ExtraTerminalsAspects.scala

src/main/scala/inox/grammars/aspects/PersistentAspects.scala

src/main/scala/inox/grammars/aspects/SimilarToAspects.scala

src/main/scala/inox/grammars/aspects/SizeAspects.scala

src/main/scala/inox/grammars/aspects/TaggedAspects.scala

...n/scala/inox/grammars/aspects/TypeDepthBoundAspects.scala