start adding a context and some types for evaling