now correctly type checking if(x is type): style flow based uses.
fixed while condition using incorrect specialization.
fixed problem with parameters getting culled permanently accross clones.