more work on the documentation
detect conflicting address spaces; add some tests