Add the initial draft for inference-using-bounds

Add the initial draft for inference-using-bounds #987