Similar to monope but does polyvariant binding time analysis and annotation. Returns the residual Scheme0 program.