Reference monitor and resource manager "done" other than...
1. haskell laziness causing problems with file IO
2. encryption of database / secret key validation through decryption