Property type inference fixes

**Addresses bug reported in issue #149**
Record guessed at property types for undeclared properties with range axioms.

Record guessed-at annotation property for undeclared properties with domain axioms.

Process ranges before processing other kinds of triples. 

Patch is against 3.50 .  Unit test is probably in wrong package.  I don't care right now.