Type-safe language for the Erlang VM and JavaScript runtimes now supports external annotations for external types.