Started work on Kanren expressions