diff --git a/Analyser/Dynamic/MultiMachine/Implementation/MultiConfigurable.cpp b/Analyser/Dynamic/MultiMachine/Implementation/MultiConfigurable.cpp
index 5d8fb89cd..28dbd9175 100644
--- a/Analyser/Dynamic/MultiMachine/Implementation/MultiConfigurable.cpp
+++ b/Analyser/Dynamic/MultiMachine/Implementation/MultiConfigurable.cpp
@@ -72,7 +72,15 @@ class MultiStruct: public Reflection::Struct {
 			return nullptr;
 		}
 
-		void set(const std::string &name, const void *value) final {
+		void *get(const std::string &name) final {
+			for(auto &options: options_) {
+				auto value = options->get(name);
+				if(value) return value;
+			}
+			return nullptr;
+		}
+
+		void set(const std::string &name, const void *value, size_t offset) final {
 			const auto safe_type = type_of(name);
 			if(!safe_type) return;
 
@@ -83,7 +91,7 @@ class MultiStruct: public Reflection::Struct {
 				if(!type) continue;
 
 				if(*type == *safe_type) {
-					options->set(name, value);
+					options->set(name, value, offset);
 				}
 			}
 		}
diff --git a/Reflection/Struct.cpp b/Reflection/Struct.cpp
index c3b676805..e4d772adc 100644
--- a/Reflection/Struct.cpp
+++ b/Reflection/Struct.cpp
@@ -9,36 +9,135 @@
 #include "Struct.hpp"
 
 #include <algorithm>
+#include <cmath>
 #include <iomanip>
+#include <iterator>
 #include <sstream>
 #include <type_traits>
 
+#define ForAllInts(x)	\
+	x(uint8_t);			\
+	x(int8_t);			\
+	x(uint16_t);		\
+	x(int16_t);			\
+	x(uint32_t);		\
+	x(int32_t);			\
+	x(uint64_t);		\
+	x(int64_t);
+
+#define ForAllFloats(x)	\
+	x(float);			\
+	x(double);
+
+namespace TypeInfo {
+
+static bool is_integral(const std::type_info *type) {
+	return
+		*type == typeid(uint8_t) || *type == typeid(int8_t) ||
+		*type == typeid(uint16_t) || *type == typeid(int16_t) ||
+		*type == typeid(uint32_t) || *type == typeid(int32_t) ||
+		*type == typeid(uint64_t) || *type == typeid(int64_t);
+}
+
+static bool is_floating_point(const std::type_info *type) {
+	return *type == typeid(float) || *type == typeid(double);
+}
+
+static bool is_signed(const std::type_info *type) {
+	return
+		*type == typeid(int8_t) ||
+		*type == typeid(int16_t) ||
+		*type == typeid(int32_t) ||
+		*type == typeid(int64_t) ||
+		*type == typeid(double) ||
+		*type == typeid(float);
+}
+
+static size_t size(const std::type_info *type) {
+#define TestType(x)	if(*type == typeid(x)) return sizeof(x);
+	ForAllInts(TestType);
+	ForAllFloats(TestType);
+	TestType(char *);
+#undef TestType
+
+	// This is some sort of struct or object type.
+	return 0;
+}
+
+}
+
 // MARK: - Setters
 
-template <> bool Reflection::set(Struct &target, const std::string &name, int value) {
+template <> bool Reflection::set(Struct &target, const std::string &name, float value, size_t offset) {
 	const auto target_type = target.type_of(name);
 	if(!target_type) return false;
 
-	// No need to convert an int or a registered enum.
-	if(*target_type == typeid(int) || !Reflection::Enum::name(*target_type).empty()) {
-		target.set(name, &value);
+	if(*target_type == typeid(float)) {
+		target.set(name, &value, offset);
 		return true;
 	}
 
-	// Promote to an int64_t.
-	if(*target_type == typeid(int64_t)) {
-		const auto int64 = int64_t(value);
-		target.set(name, &int64);
+	return set<double>(target, name, value);
+}
+
+template <> bool Reflection::set(Struct &target, const std::string &name, double value, size_t offset) {
+	const auto target_type = target.type_of(name);
+	if(!target_type) return false;
+
+	if(*target_type == typeid(double)) {
+		target.set(name, &value, offset);
+		return true;
+	}
+
+	if(*target_type == typeid(float)) {
+		const float float_value = float(value);
+		target.set(name, &float_value, offset);
 		return true;
 	}
 
 	return false;
 }
 
-template <> bool Reflection::set(Struct &target, const std::string &name, const std::string &value) {
+template <> bool Reflection::set(Struct &target, const std::string &name, int value, size_t offset) {
+	return set<int64_t>(target, name, value);
+}
+
+template <> bool Reflection::set(Struct &target, const std::string &name, int64_t value, size_t offset) {
 	const auto target_type = target.type_of(name);
 	if(!target_type) return false;
 
+	// No need to convert an int or a registered enum.
+	if(*target_type == typeid(int) || !Reflection::Enum::name(*target_type).empty()) {
+		const int value32 = int(value);
+		target.set(name, &value32, offset);
+		return true;
+	}
+
+	// Set an int64_t directly.
+	if(*target_type == typeid(int64_t)) {
+		target.set(name, &value, offset);
+		return true;
+	}
+
+#define SetInt(x)	if(*target_type == typeid(x)) { x truncated_value = x(value); target.set(name, &truncated_value, offset); }
+	ForAllInts(SetInt);
+#undef SetInt
+
+	return false;
+}
+
+template <> bool Reflection::set(Struct &target, const std::string &name, const std::string &value, size_t offset) {
+	const auto target_type = target.type_of(name);
+	if(!target_type) return false;
+
+	// If the target is a string, assign.
+	if(*target_type == typeid(std::string)) {
+		auto child = reinterpret_cast<std::string *>(target.get(name));
+		*child = value;
+		return true;
+	}
+
+	// From here on, make an attempt to convert to a named enum.
 	if(Reflection::Enum::name(*target_type).empty()) {
 		return false;
 	}
@@ -47,22 +146,22 @@ template <> bool Reflection::set(Struct &target, const std::string &name, const
 	if(enum_value < 0) {
 		return false;
 	}
-	target.set(name, &enum_value);
+	target.set(name, &enum_value, offset);
 
 	return true;
 }
 
-template <> bool Reflection::set(Struct &target, const std::string &name, const char *value) {
+template <> bool Reflection::set(Struct &target, const std::string &name, const char *value, size_t offset) {
 	const std::string string(value);
 	return set<const std::string &>(target, name, string);
 }
 
-template <> bool Reflection::set(Struct &target, const std::string &name, bool value) {
+template <> bool Reflection::set(Struct &target, const std::string &name, bool value, size_t offset) {
 	const auto target_type = target.type_of(name);
 	if(!target_type) return false;
 
 	if(*target_type == typeid(bool)) {
-		target.set(name, &value);;
+		target.set(name, &value, offset);;
 	}
 
 	return false;
@@ -128,6 +227,41 @@ template <typename Type> bool Reflection::get(const Struct &target, const std::s
 		}
 	}
 
+	// If the type is an int that is larger than the stored type and matches the signedness, cast upward.
+	if constexpr (std::is_integral<Type>::value) {
+		if(TypeInfo::is_integral(target_type)) {
+			const bool target_is_signed = TypeInfo::is_signed(target_type);
+			const size_t target_size = TypeInfo::size(target_type);
+
+			// An unsigned type can map to any larger type, signed or unsigned;
+			// a signed type can map to a larger type only if it also is signed.
+			if(sizeof(Type) > target_size && (!target_is_signed || std::is_signed<Type>::value)) {
+				const auto address = reinterpret_cast<const uint8_t *>(target.get(name)) + offset * target_size;
+
+#define Map(x)	if(*target_type == typeid(x)) { value = static_cast<Type>(*reinterpret_cast<const x *>(address)); }
+				ForAllInts(Map);
+#undef Map
+				return true;
+			}
+		}
+	}
+
+	// If the type is a double and stored type is a float, cast upward.
+	if constexpr (std::is_floating_point<Type>::value) {
+		constexpr size_t size = sizeof(Type);
+		const bool target_is_floating_point = TypeInfo::is_floating_point(target_type);
+		const size_t target_size = TypeInfo::size(target_type);
+
+		if(size > target_size && target_is_floating_point) {
+				const auto address = reinterpret_cast<const uint8_t *>(target.get(name)) + offset * target_size;
+
+#define Map(x)	if(*target_type == typeid(x)) { value = static_cast<Type>(*reinterpret_cast<const x *>(address)); }
+			ForAllFloats(Map);
+#undef Map
+			return true;
+		}
+	}
+
 	return false;
 }
 
@@ -215,3 +349,331 @@ std::string Reflection::Struct::description() const {
 
 	return stream.str();
 }
+
+/* Contractually, this serialises as BSON. */
+std::vector<uint8_t> Reflection::Struct::serialise() const {
+	auto push_name = [] (std::vector<uint8_t> &result, const std::string &name) {
+		std::copy(name.begin(), name.end(), std::back_inserter(result));
+		result.push_back(0);
+	};
+
+	auto append = [push_name, this] (std::vector<uint8_t> &result, const std::string &key, const std::string &output_name, const std::type_info *type, size_t offset) {
+		auto push_int = [push_name, &result, &output_name] (auto x) {
+			for(size_t c = 0; c < sizeof(x); ++c)
+				result.push_back(uint8_t((x) >> (8 * c)));
+		};
+
+		auto push_named_int = [push_int, push_name, &result, &output_name] (uint8_t type, auto x) {
+			result.push_back(type);
+			push_name(result, output_name);
+			push_int(x);
+		};
+
+		auto push_string = [push_int, push_name, &result, &output_name] (const std::string &text) {
+			result.push_back(0x02);
+			push_name(result, output_name);
+
+			const uint32_t string_length = uint32_t(text.size() + 1);
+			push_int(string_length);
+			std::copy(text.begin(), text.end(), std::back_inserter(result));
+			result.push_back(0);
+		};
+
+		// Test for an exact match on Booleans.
+		if(*type == typeid(bool)) {
+			result.push_back(0x08);
+			push_name(result, output_name);
+			result.push_back(uint8_t(Reflection::get<bool>(*this, key, offset)));
+			return;
+		}
+
+		// Record the string value for enums.
+		if(!Reflection::Enum::name(*type).empty()) {
+			int value;
+			Reflection::get(*this, key, value, offset);
+			const auto text = Reflection::Enum::to_string(*type, 0);
+			push_string(text);
+			return;
+		}
+
+		// Test for ints that will safely convert to an int32.
+		int32_t int32;
+		if(Reflection::get(*this, key, int32, offset)) {
+			push_named_int(0x10, int32);
+			return;
+		}
+
+		// Test for ints that can be converted to an int64.
+		int64_t int64;
+		if(Reflection::get(*this, key, int64, offset)) {
+			push_named_int(0x12, int64);
+			return;
+		}
+
+		// There's only one BSON float type: a double.
+		double float64;
+		if(Reflection::get(*this, key, float64, offset)) {
+			result.push_back(0x01);
+			push_name(result, output_name);
+
+			// The following declines to assume an internal representation
+			// for doubles, constructing IEEE 708 from first principles.
+			// Which is probably absurd given how often I've assumed
+			// e.g. two's complement.
+			int exponent;
+			const double mantissa = frexp(fabs(float64), &exponent);
+			exponent += 1022;
+			const uint64_t integer_mantissa =
+				static_cast<uint64_t>(mantissa * 9007199254740992.0);
+			const uint64_t binary64 =
+				((float64 < 0) ? 0x8000'0000'0000'0000 : 0) |
+				(integer_mantissa & 0x000f'ffff'ffff'ffff) |
+				(static_cast<uint64_t>(exponent) << 52);
+			push_int(binary64);
+
+			return;
+		}
+
+		// Strings are written naturally.
+		if(*type == typeid(std::string)) {
+			const uint8_t *address = reinterpret_cast<const uint8_t *>(get(key));
+			const std::string *const text = reinterpret_cast<const std::string *>(address + offset*sizeof(std::string));
+			push_string(*text);
+			return;
+		}
+
+		// Store std::vector<uint_8>s as binary data.
+		if(*type == typeid(std::vector<uint8_t>)) {
+			result.push_back(0x05);
+			push_name(result, output_name);
+
+			auto source = reinterpret_cast<const std::vector<uint8_t> *>(get(key));
+			push_int(uint32_t(source->size()));
+			result.push_back(0x00);
+			std::copy(source->begin(), source->end(), std::back_inserter(result));
+			return;
+		}
+
+		// Okay, check for a potential recursion.
+		// Not currently supported: arrays of structs.
+		if(*type == typeid(Reflection::Struct)) {
+			result.push_back(0x03);
+			push_name(result, output_name);
+
+			const Reflection::Struct *const child = reinterpret_cast<const Reflection::Struct *>(get(key));
+			const auto sub_document = child->serialise();
+			std::copy(sub_document.begin(), sub_document.end(), std::back_inserter(result));
+			return;
+		}
+
+		// Should never reach here; that means a type was discovered in a struct which is intended for
+		// serialisation but which could not be parsed.
+		assert(false);
+	};
+
+	auto wrap_object = [] (std::vector<uint8_t> &data) {
+		/*
+			document ::= int32 e_list "\x00"
+			The int32 is the total number of bytes comprising the document.
+		*/
+		data.push_back(0);
+		const uint32_t size_with_prefix = uint32_t(data.size()) + 4;
+		data.insert(data.begin(), uint8_t(size_with_prefix >> 24));
+		data.insert(data.begin(), uint8_t(size_with_prefix >> 16));
+		data.insert(data.begin(), uint8_t(size_with_prefix >> 8));
+		data.insert(data.begin(), uint8_t(size_with_prefix & 0xff));
+	};
+
+	std::vector<uint8_t> result;
+
+	for(const auto &key: all_keys()) {
+		if(!should_serialise(key)) continue;
+
+		/* Here:	e_list	::=	element e_list | ""		*/
+		const auto count = count_of(key);
+		const auto type = type_of(key);
+
+		if(count > 1) {
+			// In BSON, an array is a sub-document with ASCII keys '0', '1', etc.
+			result.push_back(0x04);
+			push_name(result, key);
+
+			std::vector<uint8_t> array;
+			for(size_t c = 0; c < count; ++c) {
+				append(array, key, std::to_string(c), type, c);
+			}
+			wrap_object(array);
+
+			std::copy(array.begin(), array.end(), std::back_inserter(result));
+		} else {
+			append(result, key, key, type, 0);
+		}
+	}
+
+	wrap_object(result);
+	return result;
+}
+
+bool Reflection::Struct::deserialise(const std::vector<uint8_t> &bson) {
+	return deserialise(bson.data(), bson.size());
+}
+
+namespace {
+
+/*!
+	Provides a proxy struct that redirects calls to set to another object and property, picking
+	an offset based on the propety name specified here.
+*/
+struct ArrayReceiver: public Reflection::Struct {
+	ArrayReceiver(Reflection::Struct *target, const std::type_info *type, const std::string &key, size_t count) :
+		target_(target), type_(type), key_(key), count_(count) {}
+
+	std::vector<std::string> all_keys() const final { return {}; }
+	const std::type_info *type_of(const std::string &name) const final { return type_; }
+	size_t count_of(const std::string &name) const final { return 0; }
+
+	void set(const std::string &name, const void *value, size_t offset) final {
+		const auto index = size_t(std::stoi(name));
+		if(index >= count_) {
+			return;
+		}
+		target_->set(key_, value, index);
+	}
+
+	virtual std::vector<std::string> values_for(const std::string &name) const final {
+		return {};
+	}
+
+	void *get(const std::string &name) final {
+		return nullptr;
+	}
+
+	private:
+		Reflection::Struct *target_;
+		const std::type_info *type_;
+		std::string key_;
+		size_t count_;
+};
+
+}
+
+bool Reflection::Struct::deserialise(const uint8_t *bson, size_t size) {
+	// Validate the object's declared size.
+	const auto end = bson + size;
+	auto read_int = [&bson] (auto &target) {
+		constexpr auto shift = 8 * (sizeof(target) - 1);
+		target = 0;
+		for(size_t c = 0; c < sizeof(target); ++c) {
+			target >>= 8;
+			target |= decltype(target)(*bson) << shift;
+			++bson;
+		}
+	};
+
+	uint32_t object_size;
+	read_int(object_size);
+	if(object_size > size) return false;
+
+	while(true) {
+		const uint8_t next_type = *bson;
+		++bson;
+		if(!next_type)
+			break;
+
+		std::string key;
+		while(*bson) {
+			key.push_back(char(*bson));
+			++bson;
+		}
+		++bson;
+
+		switch(next_type) {
+			default:
+				return false;
+
+			// 0x03: A subdocument; try to install the inner BSON.
+			// 0x05: Binary data. Seek to populate a std::vector<uint8_t>.
+			case 0x03:
+			case 0x05: {
+				const auto type = type_of(key);
+
+				uint32_t subobject_size;
+				read_int(subobject_size);
+
+				if(next_type == 0x03 && *type == typeid(Reflection::Struct)) {
+					auto child = reinterpret_cast<Reflection::Struct *>(get(key));
+					child->deserialise(bson - 4, size_t(end - bson + 4));
+					bson += subobject_size - 4;
+				}
+
+				if(next_type == 0x05 && *type == typeid(std::vector<uint8_t>)) {
+					auto child = reinterpret_cast<std::vector<uint8_t> *>(get(key));
+					*child = std::vector<uint8_t>(bson, bson + subobject_size);
+					bson += subobject_size;
+				}
+			} break;
+
+			// Array. BSON's encoding of these is a minor pain, but could be worse;
+			// they're presented as a subobject with objects serialised in array order
+			// but given the string keys "0", "1", etc. So: validate the keys, decode
+			// the objects.
+			case 0x04: {
+				ArrayReceiver receiver(this, type_of(key), key, count_of(key));
+
+				uint32_t subobject_size;
+				read_int(subobject_size);
+
+				receiver.deserialise(bson - 4, size_t(end - bson + 4));
+
+				bson += subobject_size - 4;
+			} break;
+
+			// String.
+			case 0x02: {
+				uint32_t length;
+				read_int(length);
+
+				const std::string value(bson, bson + length - 1);
+				::Reflection::set<const std::string &>(*this, key, value);
+
+				bson += length;
+			} break;
+
+			// Boolean.
+			case 0x08: {
+				const bool value = *bson;
+				++bson;
+				::Reflection::set(*this, key, value);
+			} break;
+
+			// 32-bit int.
+			case 0x10: {
+				int32_t value;
+				read_int(value);
+				::Reflection::set(*this, key, value);
+			} break;
+
+			// 64-bit int.
+			case 0x12: {
+				int64_t value;
+				read_int(value);
+				::Reflection::set(*this, key, value);
+			} break;
+
+			// 64-bit double.
+			case 0x01: {
+				uint64_t value;
+				read_int(value);
+
+				const double mantissa = 0.5 + double(value & 0x000f'ffff'ffff'ffff) / 9007199254740992.0;
+				const int exponent = ((value >> 52) & 2047) - 1022;
+				const double double_value = ldexp(mantissa, exponent);
+				const double sign = (value & 0x8000'0000'0000'0000) ? -1 : 1;
+
+				::Reflection::set(*this, key, double_value * sign);
+			} break;
+		}
+	}
+
+	return true;
+}
diff --git a/Reflection/Struct.hpp b/Reflection/Struct.hpp
index f0d22e5e9..68278c7ab 100644
--- a/Reflection/Struct.hpp
+++ b/Reflection/Struct.hpp
@@ -9,11 +9,13 @@
 #ifndef Struct_hpp
 #define Struct_hpp
 
+#include <cassert>
 #include <cstdarg>
 #include <cstring>
 #include <string>
 #include <typeindex>
 #include <typeinfo>
+#include <type_traits>
 #include <unordered_map>
 #include <vector>
 
@@ -27,8 +29,11 @@ struct Struct {
 	virtual std::vector<std::string> all_keys() const = 0;
 	virtual const std::type_info *type_of(const std::string &name) const = 0;
 	virtual size_t count_of(const std::string &name) const = 0;
-	virtual void set(const std::string &name, const void *value) = 0;
-	virtual const void *get(const std::string &name) const = 0;
+	virtual void set(const std::string &name, const void *value, size_t offset = 0) = 0;
+	virtual void *get(const std::string &name) = 0;
+	virtual const void *get(const std::string &name) const {
+		return const_cast<Struct *>(this)->get(name);
+	}
 	virtual std::vector<std::string> values_for(const std::string &name) const = 0;
 	virtual ~Struct() {}
 
@@ -38,8 +43,39 @@ struct Struct {
 	*/
 	std::string description() const;
 
+	/*!
+		Serialises this struct in BSON format.
+
+		Supported field types:
+
+			* [u]int[8/16/32/64]_t;
+			* float and double;
+			* bool;
+			* std::string;
+			* plain C-style arrays of any of the above;
+			* other reflective structs;
+			* std::vector<uint8_t> as raw binary data.
+
+		TODO: vector of string, possibly? Or more general vector support?
+
+		@returns The BSON serialisation.
+	*/
+	std::vector<uint8_t> serialise() const;
+
+	/*!
+		Applies as many fields as possible from the incoming BSON. Supports the same types
+		as @c serialise.
+	*/
+	bool deserialise(const std::vector<uint8_t> &bson);
+
+	/*!
+		Called to determine whether @c key should be included in the serialisation of this struct.
+	*/
+	virtual bool should_serialise(const std::string &key) const { return true; }
+
 	private:
 		void append(std::ostringstream &stream, const std::string &key, const std::type_info *type, size_t offset) const;
+		bool deserialise(const uint8_t *bson, size_t size);
 };
 
 /*!
@@ -47,33 +83,38 @@ struct Struct {
 
 	@returns @c true if the property was successfully set; @c false otherwise.
 */
-template <typename Type> bool set(Struct &target, const std::string &name, Type value);
+template <typename Type> bool set(Struct &target, const std::string &name, Type value, size_t offset = 0);
 
 /*!
 	Setting an int:
 
 		* to an int copies the int;
+		* to a smaller type, truncates the int;
 		* to an int64_t promotes the int; and
 		* to a registered enum, copies the int.
 */
-template <> bool set(Struct &target, const std::string &name, int value);
+template <> bool set(Struct &target, const std::string &name, int64_t value, size_t offset);
+template <> bool set(Struct &target, const std::string &name, int value, size_t offset);
 
 /*!
 	Setting a string:
 
 		* to an enum, if the string names a member of the enum, sets the value.
 */
-template <> bool set(Struct &target, const std::string &name, const std::string &value);
-template <> bool set(Struct &target, const std::string &name, const char *value);
+template <> bool set(Struct &target, const std::string &name, const std::string &value, size_t offset);
+template <> bool set(Struct &target, const std::string &name, const char *value, size_t offset);
 
 /*!
 	Setting a bool:
 
 		* to a bool, copies the value.
 */
-template <> bool set(Struct &target, const std::string &name, bool value);
+template <> bool set(Struct &target, const std::string &name, bool value, size_t offset);
 
 
+template <> bool set(Struct &target, const std::string &name, float value, size_t offset);
+template <> bool set(Struct &target, const std::string &name, double value, size_t offset);
+
 /*!
 	Fuzzy-set attempts to set any property based on a string value. This is intended to allow input provided by the user.
 
@@ -105,26 +146,16 @@ template <typename Type> bool get(const Struct &target, const std::string &name,
 */
 template <typename Type> Type get(const Struct &target, const std::string &name, size_t offset = 0);
 
-
-// TODO: move this elsewhere. It's just a sketch anyway.
-struct Serialisable {
-	/// Serialises this object, appending it to @c target.
-	virtual void serialise(std::vector<uint8_t> &target) = 0;
-	/// Deserialises this object from @c source.
-	/// @returns @c true if the deserialisation was successful; @c false otherwise.
-	virtual bool deserialise(const std::vector<uint8_t> &source) = 0;
-};
-
 template <typename Owner> class StructImpl: public Struct {
 	public:
 		/*!
 			@returns the value of type @c Type that is loaded from the offset registered for the field @c name.
 				It is the caller's responsibility to provide an appropriate type of data.
 		*/
-		const void *get(const std::string &name) const final {
+		void *get(const std::string &name) final {
 			const auto iterator = contents_.find(name);
 			if(iterator == contents_.end()) return nullptr;
-			return reinterpret_cast<const uint8_t *>(this) + iterator->second.offset;
+			return reinterpret_cast<uint8_t *>(this) + iterator->second.offset;
 		}
 
 		/*!
@@ -132,10 +163,11 @@ template <typename Owner> class StructImpl: public Struct {
 
 			It is the caller's responsibility to provide an appropriate type of data.
 		*/
-		void set(const std::string &name, const void *value) final {
+		void set(const std::string &name, const void *value, size_t offset) final {
 			const auto iterator = contents_.find(name);
 			if(iterator == contents_.end()) return;
-			memcpy(reinterpret_cast<uint8_t *>(this) + iterator->second.offset, value, iterator->second.size);
+			assert(offset < iterator->second.count);
+			memcpy(reinterpret_cast<uint8_t *>(this) + iterator->second.offset + offset * iterator->second.size, value, iterator->second.size);
 		}
 
 		/*!
@@ -291,8 +323,8 @@ template <typename Owner> class StructImpl: public Struct {
 
 	private:
 		template <typename Type> bool declare_reflectable(Type *t, const std::string &name) {
-			Reflection::Struct *const str = static_cast<Reflection::Struct *>(t);
-			if(str) {
+			if constexpr (std::is_base_of<Reflection::Struct, Type>::value) {
+				Reflection::Struct *const str = static_cast<Reflection::Struct *>(t);
 				declare_emplace(str, name);
 				return true;
 			}