start implementation of the partial compiler