RuntimeState: Now with more type signatures!