Added kju type syntax. Kept Erlangs for now. Updated snippets according to "-specs add guards".