more converter tests
fixed writing list of types
clarified list element trait handling