Форма коньми неправильна, конечно. У существительных в тв. падеже мн. числа стандартное окончание  — -ами(-ями), но у некоторых слов окончание нестандартное — (ь)ми.

Варианты окончания -ами(-ями) / -(ь)ми в древности принадлежали разным типам склонения имен существительных. Однако после унификации склонения существительных во мн. числе для всех слов нормативным стало окончание -ами(-ями). И лишь у нескольких слов в современном русском языке возможно окончание -(ь)ми. У слова дети форма детьми единственно возможная. В парах дверями – дверьми, лошадями – лошадьми, дочерями – дочерьми возможны оба варианта, причем более употребительно окончание -(ь)ми. У слова звери предпочтительным считается форма зверями; вариант зверьми рассматривается как устаревающий. Кроме этого, у слов кость и плеть при нормативных формах костями, плетями формы на -(ь)ми сохраняются в устойчивых сочетаниях лечь костьми, бить плетьми.

Запятая нужна, так как нет второй части союза если... то и придаточную часть можно переставить в другое место предложения.

Можно в этом случае говорить о метатезе.

Приинфинитивная часть составного глагольного сказуемого в данном случае выражает модальное значение (отношение субъекта к действию).

См.: http://new.gramota.ru//biblio/readingroom/textbooks/author/litnevskaya/part5#312

Составное глагольное.

Большой толковый словарь

Оба варианта возможны, есть разница в значении: употребление предлога на подчеркивает, что речь идет о поверхности. Ср.: лечь в кровать и уснуть – лечь на кровать в одежде.

Лежать - лежи. Лечь - ляг.

Форма повелительного наклонения глагола лечь - лягте.

Форма повелительного наклонения глагола ложиться – ложись. А ляг – форма повелительного наклонения глагола лечь. Обе формы правильны.