Typed context for eval