Feature/partial evaluation