Added properties as a source of info in Prop.oz.
Updated for the new bootcompiler that wants Base as argument.