support name attribute for bitcases and set BitcaseType.has_name accordingly