Lobsters: Purely Functional Operating Systems