refactor(Coq): rename model.js to coq.js
refactor(Coq): simplify CoqFactory code base + improvements
Release v0.0.2