Adds some todoes on eval and implicit