Adds some expression checking functionality.