Fixed checking of construct type and added test for checking of
construct.
Partially added built-in type and built-in functions (didn't add this
functions onto interpreter).
Added built-in function onto interpreter and fixed types of built-in
functions and other bugs.