Change indentation rules #49
Description
Все строчки в окружении/префиксе/на глобальном уровне должны иметь единый отступ, за исключением префиксов — для них отступ должен быть строго больше. Запретить префиксам быть первыми строчками в окружениях/префиксах и сразу после закрытия окружений — во всех этих случаях наилучшим решением, видимо, являются фиктивные комментарии (для этого надо сделать, чтоб комментарии парсились вместе с остальным кодом)