Visible to the public Large Scale Separation Through Monads: The Oregon Separation Kernel