proposition code not currently in use
Added note about spiritual ideas in Lansing's intro text
Split propositions into spiritual vs worldly
added note re lack of significance of spiritual/worldly distinction.