Added function to evaluate type checker action without specifying an initial environment and state.