Слова категории состояния не имеют форм времени и личных окончаний. Они могут лишь сочетаться со связкой, выражающей значение времени.

Спится — форма настоящего времени (ср. не спалось). Это безличный глагол.

Этот вопрос связан с употреблением возвратных глаголов разного типа. Речь идет о возвратных глаголах, у которых постфикс -ся не формирует страдательного значения, ср: Дом строится (страдательный залог); Я умываюсь (действительный залог). Возвратные глаголы, не связанные с образованием форм залога, могут относится к различным словообразовательным типам. Глаголы типа целоваться относятся к взаимно-возвратным (целоваться, обниматься и т. п.), функция постфикса -ся состоит у них в привнесении значения взаимности, отсутствующего у исходных переходных глаголов несовершенного вида (целовать, обнимать и т. п.). Эти глаголы используются в личных предложениях, поэтому использовать безличную конструкцию типа *нам целовалось нельзя.

Глаголы типа гуляться относятся к безлично-возвратным. Они образуются от непереходных глаголов несовершенного вида, используются преимущественно в отрицательных предложениях и в этом случае – помимо понижения степени зависимости предикативного признака от воли субъекта – выражают наличие каких-то препятствий к реализации желаемого или необходимого: ‘хочу, но не могу’, ‘не хочу, но должен’: Мне не работалось. Сегодня плохо работается. Пошли гулять, но как-то не гулялось. Безлично-возвратные глаголы употребляются в безличных предложениях, при них часто (но не обязательно) есть дополнение в дательном падеже, обозначающее субъекта действия. Этот словообразовательный тип является достаточно продуктивным (не спится, не пишется, не читается и т. д.).

Правильно: не спится (не получается заснуть) и не спиться (не стать пьяницей).

Правильно: не спится, не лежится. Не с глаголами пишется раздельно.

Формально (с точки зрения «традиционной» академической грамматики) подлежащим в предложении является то, что выражено именительным падежом, а не то, что выражено формой косвенного падежа. В предложении Я люблю кофе подлежащее я, а кофе – дополнение; в предложении Мне нравится кофе подлежащее кофе, а мне – дополнение. Ср. такой пример: в предложении Саша не спит подлежащее Саша, а в предложении Саше не спится подлежащего нет, это односоставное предложение, а Саше здесь – второстепенный член предложения.

В то же время лингвисты – сторонники коммуникативного подхода к грамматическому строю русского языка (коммуникативная грамматика – относительно недавнее направление в лингвистической науке) скажут, что предложение Саше не спится – это инволюнтивная модификация обычного номинативно-глагольного предложения Саша не спит. Слово инволюнтивная означает, что грамматическое значение этой модификации – независимость предикативного признака от воли субъекта. Субъект же везде один – Саша. Предложение Мне нравится кофе тоже представляет собой модификацию (иного рода) предложения Я люблю кофе – в обоих случаях субъект – я, объект – кофе.

Запятую в этом предложении ставить не нужно.