Factor solanum DSL into lib file.
Change state values to symbols.