First functional version of encryption.hs.