removed extraneous functions
added instances for STRef
added StateVar instances
improved documentation
removed extraneous dependencies
added README documentation