[TS] Implement Rust -> TS calls and TS Trait instance construction