More precise downcast for .getProp

@smuir pointed out that the downcast inside the Option doesn't do any
checking (beyond checking the Option, of course). It doesn't much
matter here, since it's an Any (which we can't do any checking on,
anyway), but if that ever changed, this could be a weird hole for
bugs to hide in.