spaytree-def: Types + functions.
splaytree ported to splaytree_def.
Added testsuite for splaytree_int.
splaytree: Added some comments.
Merge branch 'splaytree-def'