changed name and moved the TProperty trait under the Extension namespace