Reviewed-by: mcimadamore, dlsmith
Add class to handle inference variables instantiation and associated info Reviewed-by: jjg, dlsmith