Add naive type-validations to array generator (#4)