`Array` type checking fixes (#317)

Fix some type-checking issues and make generic Array compatible with pytato arrays

---------

Co-authored-by: Andreas Kloeckner <inform@tiker.net>