virtual, override, new и перегрузка методов: в чём разница?

public class Printer
{
    public void Print(int value) => Console.WriteLine($"int: {value}");
    public void Print(double value) => Console.WriteLine($"double: {value}");
    public void Print(string value) => Console.WriteLine($"string: {value}");
    public void Print(string value, int times) { for (var i = 0; i < times; i++) Print(value); }
}

var p = new Printer();
p.Print(5);          // int: 5
p.Print(5.0);        // double: 5
p.Print("hi", 2);    // string: hi ×2

public class Notification
{
    public virtual string Format(string text) => text;                 // можно переопределить
}

public class UrgentNotification : Notification
{
    public override string Format(string text) => "⚠ " + base.Format(text).ToUpper();   // вызов базовой версии
}

Notification n = new UrgentNotification();     // переменная базового типа, объект — наследника
Console.WriteLine(n.Format("сервер упал"));    // ⚠ СЕРВЕР УПАЛ — вызвана версия наследника

public class Base
{
    public void Hello() => Console.WriteLine("Base");          // НЕ virtual
}

public class Derived : Base
{
    public new void Hello() => Console.WriteLine("Derived");   // скрывает, а не переопределяет
}

Derived d = new Derived();
Base b = d;                    // тот же самый объект!

d.Hello();     // Derived — выбор по типу переменной Derived
b.Hello();     // Base    — выбор по типу переменной Base

public abstract class Report
{
    public string Build() => Header() + Body();          // шаблонный метод
    protected virtual string Header() => "Отчёт\n";      // можно переопределить
    protected abstract string Body();                    // обязаны реализовать
}

public class SalesReport : Report
{
    protected sealed override string Body() => "Продажи: ...";   // наследники SalesReport не смогут переопределить
}