Add parametric types

verify component types of arrays and maps