Added syntax and type checking for JavaScript FFI.