let error_not_found_type n  = error_not_found "Type" n