added more explanation of partial evaluation system