Incomplete! Don't mind this commit.
The ABS Tree now has its own abstraction