added test for sets vs. arrays -- already passed
output type information for abstract types automatically