bind_as_struct          Bind as Struct
type_check              List Type Checking
