rej14: Implement some rough concretization iteration

 * Change some api function names
 * Much of the code has to be refactored/merged with Naama's