added more about a partial evaluation system