Updated idrisdoc006 to be more throughly
Added IdrisDoc test which verifies inclusion of abstract and public namespace members