Update deps & freeze
Begin demonstrating my new ideas in Twelf