typecheck the arguments of Array[Type].new.
Merge pull request #215 from timo/array_new_typecheck

typecheck the arguments of Array[Type].new.