GetProperty instead of a separate GetPropertyJS.

The same applies for GetPropertyIntJS, wich is now just GetPropertyInt.
This solution uses the same approach as in the previous two commits. This should make it easier for the user and the implementation is actually much simpler than I expected first.