Type Check for basic elements implemented lacking auxiliary functions.
=Refactor of type check.
Now, includes gama manipulation functions poor implementation.