Krypton: A Functional Approach to Knowledge Representation | Synapse