added a solve_model that runs the Alloy Analyzer to find any satisfying instance
fixed a bug with searchable attributes in alloy_meta: search methods didn't properly respect the 'restric' module due to cached values
created a class to hold arby instances
merged with ido