clarify nested types, schema and impl