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

Two major milestones: finalizing my database choice and successfully running a local model for data extraction.