TypeChecker: checking for TNArray vs. TNArraySized