Separated JKind in to common, solver, and API