code for expanding range decls and float decls is now shared between
theories and modules, avoiding any further inconsistencies