Added Satisfies Assertion

-Added Satisfies Assertion
-Added Comments to Entities
-Added Tests For Satisfies Assertion
-Modified Test that was not working
-Changed assembly name to include MicroLibs