[svn r58] Fixed cond expression resulting in a non-basic type. Fixed identity expression for dynamic arrays. Revamped the system to keep track of lvalues and rvalues and their relations. Typedef declaration now generate the custom typeinfo. Other bugfixes.

module bug6;
class wrong { }
void bark(ref wrong s) { s = new wrong; }
void foo(wrong tree) {
    auto old = tree;
    bark(tree);
    assert(old !is tree);
}
void main()
{
    auto w = new wrong;
    auto old = w;
    foo(w);
    assert(w is old);
}