started with type_check for class elements