Правильно: Внизу под пароходом море казалось зеленым и бездонным. Берег медленно уходил назад, и постепенно все таяло вдали: густые парки, белоснежные дворцы, крашеные крыши дач. Можно сослаться на полный академический справочник «Правила русской орфографии и пунктуации» под ред. В. В. Лопатина, а также на справочник Д. Э. Розенталя «Пунктуация».

Ваш вариант постановки знаков препинания в этом предложении абсолютно корректен. 

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

Первый и четвертый примеры различаются тем, какие сочетания в них интонационно выделены, — в зависимости от этого меняются смысловые отношения между сочетаниями. Имеет значение также позиция обстоятельств в предложении. В первом примере конечная позиция сочетания в библиотеке при университете (к слову, это сочетание существительного с несогласованным определением) говорит скорее о том, что это сочетание несет на себе логическое ударение и содержит важную, а не дополнительную, попутную информацию. Такое может происходить, например, если место работы не единственное, сравним: Она была на работе в библиотеке при университете, а не в лаборатории. Если же общий контекст диктует автору поставить логическое ударение на словоформу на работе, а сочетание в библиотеке при университете представить как уточнение, ему ничто не мешает это сделать: Она была на работе, в библиотеке при университете. В четвертом примере словоформа в офисе находится в позиции уточняющего обстоятельства. Однако в более широком контексте, например при сопоставлении, это может оказаться не так, сравним: На работе в офисе он постоянно дремал, а на работе в университете иногда бывал энергичным — здесь в офисе невозможно счесть словоформой, несущей попутную информацию, и выделить запятыми.

Как видим, при решении, является ли какое-либо слово (сочетание) уточняющим по отношению к другому слову (сочетанию), нужно учитывать и смысловые отношения между этими сочетаниями, и общий контекст предложения.

Корректны первый и второй варианты. Первый из них представляет собой бессоюзное сложное предложение, в первой части которого сравнительный оборот играет роль сказуемого, а между частями отношения логического обоснования — в этом случае лучше поставить двоеточие (Мама как сень дуба: всегда укроет от беды), но допустимо и тире. Второй вариант — простое предложение с грамматической основой мама укроет, осложненное сравнительным оборотом.

Из Вашего очень длинного и эмоционального письма, кажется, можно сделать такой вывод: Вы считаете, что лингвисты, вместо того чтобы установить простые и понятные правила, намеренно усложняют их, подстраивая под капризы классиков, из-за чего в нашем языке плодятся десятки и сотни исключений, правильно? Попробуем прокомментировать эту точку зрения.

Во-первых, русский язык действительно живой – а как без этого тезиса? Если бы мы создавали язык как искусственную конструкцию, у нас были бы единые правила произношения и написания, мы бы аккуратно распределили слова по грамматическим категориям без всяких исключений и отклонений... Но русский язык не искусственная модель, и многие странные на первый взгляд правила, многие исключения обусловлены его многовековой историей. Почему, например, мы пишем жи и ши с буквой и? Потому что когда-то звуки ж и ш были мягкими. Они давно отвердели, а написание осталось. Написание, которое можно объяснить только традицией. И такие традиционные написания характерны не только для русского, но и для других мировых языков. Недаром про тот же английский язык (который «не подстраивают под каждый пук Фицджеральда или Брэдбери») есть шутка: «пишется Манчестер, а читается Ливерпуль».

Во-вторых, нормы русского письма (особенно нормы пунктуации) как раз и складывались под пером писателей-классиков, ведь первый (и единственный) общеобязательный свод правил русского правописания появился у нас только в 1956 году. Поэтому справочники по правописанию, конечно, основываются на примерах из русской классической литературы и литературы XX века. Но с Вашим тезисом «все справочники по языку – это не своды правил, а своды наблюдений» сложно согласиться. Русская лингвистическая традиция как раз в большей степени прескриптивна, чем дескриптивна (т. е. предписывает, а не просто описывает): она обращается к понятиям «правильно» и «неправильно» гораздо чаще, чем, например, западная лингвистика.

В-третьих, лингвисты не занимаются усложнением правил – как раз наоборот. Кодификаторская работа языковедов на протяжении всего XX века была направлена на унификацию, устранение вариантов, именно благодаря ей мы сейчас имеем гораздо меньше вариантов, чем было 100 лет назад. Именно лингвисты, как правило, являются наиболее активными сторонниками внесения изменений в правила правописания  и устранения неоправданных исключений – не ради упрощения правил, а ради того, чтобы наше правописание стало еще более системным и логичным. А вот общество, как правило, активно препятствует любым попыткам изменить нормы и правила.

Если слова автора распадаются по смыслу на две части, которые относятся к разным частям прямой речи, то после слов автора ставятся двоеточие и тире.

- Благодарю Вас, - проговорила она своим мягким голосом, затем подняла глаза и добавила: – Меня зовут Анна.

"Я главный иженер, - сказал он и тут же исправился: - Точнее, был главным".