Idea: light weight rust as zero build scripting language with JIT runtime

You won't be able to bypass rustc's type inference (there isn't an option 'take a value, inspect its type and check which impl was intended'): see type-system-vm/src/tests.rs at main · Aurel300/type-system-vm · GitHub as an example of what type inference does.