first take at value specification actions
fix all errors/warnings
add unit test. closes #79
Merge pull request #86 from uiuc-cs428/value_specification_action

Value specification action
Updating to master.