Added test for elems operator
Added expression tests for elems operator (missing files on previous commit)
Added specification test for generation of elems operator with type inference
Added
1) Geneation of elems unary operator
2) Fix for variable expression (type was not set)
3) Generation of function types