Starting to type check tables (just arrays for now)