add new parametric types for issue #352