Type checking on function parameters done.
Variable init type-checking added
Comments and debug removed.