tbindx checks that all decls conform. towards weaken-env