* define HLA, Problem and implement 11.1

* add demonstration of job_shop_problem

* implementing 11.5

* adding test for refinement