Shaded Area Solution / Problem Generation Commit I

Major updates to shaded area solution generation: no hypergraph.
Some fixes / updates to instantiator.