semantic and syntactic fixes

in the interest of semantics, I changed all defining instances to use <def>
instead of just <i>.
revisions to related states and first modal example
pdf of current version