A serialization format capable of encoding types - specification and default implementation in lua