(Orcc) CAL, Adding support for literal that are bigger than 64 bits

As explained in #128 this PR has been opened to talk about the implications of replacing ELong by EBigInteger as base for integers in CAL model. The main goal is to allow

    literals that are "unsigned long long"