check-brand in type env