correctly get type from dotExpression

some validation checks on callExpression
some validation checks on dotExpression