fix to variable coincidence analysis
fix to type checker in array types