added more tests ad fixed some things

..._primitives/src/main/rust_embedded/btypes/src/binteger.rs

...primitives/src/main/rust_embedded/btypes/src/brelation.rs

...u/stups/codegenerator/generators/ExpressionGenerator.java

.../hhu/stups/codegenerator/generators/MachineGenerator.java

...tor/generators/iteration/IterationConstructGenerator.java

...s/codegenerator/generators/iteration/LambdaGenerator.java

...ups/codegenerator/handlers/IterationConstructHandler.java

...n/resources/de/hhu/stups/codegenerator/RustTemplate_e.stg

...codegenerator/rust_embedded/TestQuantifiedConstructs.java

...rces/de/hhu/stups/codegenerator/QuantifiedExpression3.mch

...rces/de/hhu/stups/codegenerator/QuantifiedExpression4.mch

...de/hhu/stups/codegenerator/SetComprehension3Addition.strs

...de/hhu/stups/codegenerator/SetComprehension4Addition.strs

...de/hhu/stups/codegenerator/SetComprehension5Addition.strs