getify/Typl

…= assignment), extracting return-type from type-signature of CallExpression

…g), removed mixed numeric error for binary operators, simplified detection of end of func param list visitation for func signature registration, added arrow expression-body return type handling

…ntifier is in immediate scope or not

…f Function:exit), fixing type handling for the expression node of an assignment (incl array/obj patterns)

… error messages

…'undef' for 'var x;' and 'var x = undefined;'

… tests

…l native function calls

…ged for operation to adopt the tagged-type

…int handling in binary numeric operations

…'number' type regardless of operand types

…ls, adding support for function signature (params, return type)

…ent types from RHS literals

…rt of all destructuring