Added spec about JavaScript interop.
JS frontend: additional check for `nativeSetter` -- check that the return type is either `Unit` or a supertype of the second parameter's type.