refs #2 Adds test code for proposition units.