-Added some basic queries
-Required them in the ASD and exported them in the package
-Labeled subst symbols for easier debugging
-Fixed unused variable warning