lux_typeOf -> Lux.type_of, to avoid namespace pollution