Implement inferThatType for all existing LIROs

[stephen-zhao]

i.e. def Object::inferThatType (that: Object, ctx: Context): Option[TypeIdentifier]

This method will try to figure out the type of that within the object this given the context ctx.