Rust backend: fix generation of 'not-comparable' in types.rs

This MR performs a bit of refactoring and adds an explicit ordering of not-comparable types for the generation of types.rs

fixes #35 (closed)