TermLink optimization
merged pei2nd: 

 Jul 31, 2014
	peiwang	move InferenceRecoder to nars.io	d32c6f5
	peiwang	procedural inference (CompositionalRules)	 c239b27
 Aug 01, 2014
	peiwang	procedural inference (StructuralRules)	 8a2dbec
	peiwang	remove tense of Goal and Quest	 e9e9f2b
	peiwang	fix bugs in procedural inference	 d0c851c

https://github.com/opennars/opennars/compare/0038f25e8e...d0c851c0c9bcb80c6b6c80ea69bd1746d032a11b#diff-77eac91224c2a515d8110f7277e675aeR255