WIP: working type recognition, applying function checking in ExprCorrectnessChecker

Started wokring on StatementVC