removed unnecessary text
added a helper method that finds all reachable sigs (from all opened modules)
bugfix: wrong alloy method was called
ugly hack for ordering
fixed a bug in alloy
updated the chameleon example to work with ordering