TypeChecker: vars, args and functions registration