Support for LEDA allocator, namespace and
some LEDA kernel functionality

