feat(main.py): init
feat(cil2smt2/smt2_cmd): extend DeclareFun to have type info
fix(cil2smt2/cil2smt): remove int encoding using sin