Removed Virgilio's non-$-ed methods.

Because namespaces are now set directly on top of Virgilio, it makes sense to
clean up the amount of properties Virgilio has.

From now on, one should always use the dollarsigned methods.