return struct types from typecheck