fixed empty Set/Relation typing and added missing permutate function

benchmarks/model_checking/ProB/Other/Doors.mch

btypes_primitives/src/main/rust/btypes/src/OrderedHashSet.rs

btypes_primitives/src/main/rust/btypes/src/brelation.rs

btypes_primitives/src/main/rust/btypes/src/bset.rs

...ain/resources/de/hhu/stups/codegenerator/RustTemplate.stg

...test/java/de/hhu/stups/codegenerator/rust/TestOthers.java

src/test/resources/de/hhu/stups/codegenerator/Doors_MC.out

.../resources/de/hhu/stups/codegenerator/EqualityLaws_MC.out

...esources/de/hhu/stups/codegenerator/ExplicitChecks_MC.out

...test/resources/de/hhu/stups/codegenerator/Fin1Test_MC.out

.../resources/de/hhu/stups/codegenerator/NatRangeLaws_MC.out