optimizations informed by memory profiling.  should consume less memory and as a result run faster.
Merge branch 'master' of https://github.com/opennars/opennars