Array types enforced correctly + tests.