Add specs to do some hard core testing. [test]
Fix semantic constraint comparison. [bug]
Add Spectroscope to requirements. [admin]