More sensible judgmental equality (#23)

Based on Harper/Pfenning
Remove separate identity intros; just use one constructor