Convert a number of functions in ind_types module
Use Choice.funpow in a few places