Quick adding of typing-specs. Erlang ty, not Kju. Needs polishing. Updated snippets.