Remove some redundancy from the DValue hierarchy: all subclasses had a 'type' field and identical implementations of virtual function getType(). Move these to DValue itself, and make getType() non-virtual.

module scope4;
int main()
{
    int i;
    try
    {
        return i;
    }
    finally
    {
        //i = 1;
    }
}