[Xesam] Rewriting the build tools

[Antoni Mylka]

Antoni Mylka pisze:
> You can check this only if you're able to implement a loop:
> 
> foreach (s,p,o) in dataset
>    d = domain(p)
>    r = range(p)
>    dt = type(s)
>    ot = type(o)
>    assert(d is a subclass of dt)
>    assert(o is a subclass of ot)

Obviously this is wrong. Shouldn't write this kind of stuff at 2am

foreach (s,p,o) in dataset
     d = domain(p)
     r = range(p)
     st = type(s)
     ot = type(o)
     assert(st is a subclass of d)
     assert(ot is a subclass of r)

Antoni