diff --git a/mie/arg.c b/mie/arg.c
index c46321c..69c5b05 100644
--- a/mie/arg.c
+++ b/mie/arg.c
@@ -18,7 +18,7 @@ struct mie_arg *mie_arg_create(struct mie_type *type)
 	return out;
 }
 
-static struct mie_type *get_type(struct mie_value *v)
+static struct mie_type *get_type(struct mie_value *v, struct mie_ctx *ctx)
 {
 	struct mie_arg *arg = MIE_ARG(v);
 	return arg->arg_type;
diff --git a/mie/block.c b/mie/block.c
index 0b788e9..0bacb5b 100644
--- a/mie/block.c
+++ b/mie/block.c
@@ -1,11 +1,10 @@
 #include <mie/block.h>
+#include <mie/ctx.h>
 #include <mie/func.h>
 #include <mie/instr.h>
 #include <mie/type.h>
 #include <stdlib.h>
 
-static struct mie_type label_type = {};
-
 struct mie_block *mie_block_create(struct mie_func *parent, const char *name)
 {
 	struct mie_block *out = malloc(sizeof *out);
@@ -62,20 +61,9 @@ bool mie_block_add_instr(struct mie_block *block, struct mie_instr *instr)
 	}
 }
 
-static void init_label_type(struct mie_type *out)
+static struct mie_type *get_type(struct mie_value *v, struct mie_ctx *ctx)
 {
-	mie_value_init(&out->t_base, MIE_VALUE_TYPE);
-	out->t_id = MIE_TYPE_LABEL;
-	out->t_width = sizeof(uintptr_t) * 8;
-}
-
-static struct mie_type *get_type(struct mie_value *v)
-{
-	if (!label_type.t_id) {
-		init_label_type(&label_type);
-	}
-
-	return &label_type;
+	return mie_ctx_get_type(ctx, MIE_TYPE_LABEL);
 }
 
 static void cleanup(struct mie_value *value)
diff --git a/mie/builder.c b/mie/builder.c
index 0b2c34a..2078fba 100644
--- a/mie/builder.c
+++ b/mie/builder.c
@@ -226,7 +226,7 @@ struct mie_value *mie_builder_add(
 
 	add->op_left = left;
 	add->op_right = right;
-	add->op_type = mie_value_get_type(left);
+	add->op_type = mie_value_get_type(left, builder->b_ctx);
 
 	if (!mie_block_add_instr(builder->b_current_block, &add->op_base)) {
 		free(add);
@@ -262,7 +262,7 @@ struct mie_value *mie_builder_sub(
 
 	sub->op_left = left;
 	sub->op_right = right;
-	sub->op_type = mie_value_get_type(left);
+	sub->op_type = mie_value_get_type(left, builder->b_ctx);
 
 	if (!mie_block_add_instr(builder->b_current_block, &sub->op_base)) {
 		free(sub);
@@ -298,7 +298,7 @@ struct mie_value *mie_builder_mul(
 
 	mul->op_left = left;
 	mul->op_right = right;
-	mul->op_type = mie_value_get_type(left);
+	mul->op_type = mie_value_get_type(left, builder->b_ctx);
 
 	if (!mie_block_add_instr(builder->b_current_block, &mul->op_base)) {
 		free(mul);
@@ -334,7 +334,7 @@ struct mie_value *mie_builder_div(
 
 	div->op_left = left;
 	div->op_right = right;
-	div->op_type = mie_value_get_type(left);
+	div->op_type = mie_value_get_type(left, builder->b_ctx);
 
 	if (!mie_block_add_instr(builder->b_current_block, &div->op_base)) {
 		free(div);
diff --git a/mie/const.c b/mie/const.c
index c85f638..a90ef08 100644
--- a/mie/const.c
+++ b/mie/const.c
@@ -10,7 +10,7 @@ void mie_const_init(struct mie_const *c, struct mie_type *type)
 	c->c_type = type;
 }
 
-static struct mie_type *get_type(struct mie_value *v)
+static struct mie_type *get_type(struct mie_value *v, struct mie_ctx *ctx)
 {
 	struct mie_const *c = MIE_CONST(v);
 	return c->c_type;
diff --git a/mie/convert/convert.c b/mie/convert/convert.c
index b622561..dea6e34 100644
--- a/mie/convert/convert.c
+++ b/mie/convert/convert.c
@@ -6,7 +6,7 @@
 #include <string.h>
 
 struct mie_ir_converter *mie_ir_converter_create(
-	enum mie_ir_format src, enum mie_ir_format dest)
+	struct mie_ctx *ctx, enum mie_ir_format src, enum mie_ir_format dest)
 {
 	if (src == dest) {
 		return NULL;
@@ -19,6 +19,7 @@ struct mie_ir_converter *mie_ir_converter_create(
 
 	memset(out, 0x0, sizeof *out);
 
+	out->c_ctx = ctx;
 	out->c_src_format = src;
 	out->c_dest_format = dest;
 
diff --git a/mie/convert/text-write.c b/mie/convert/text-write.c
index 367ab71..080d6bd 100644
--- a/mie/convert/text-write.c
+++ b/mie/convert/text-write.c
@@ -228,7 +228,8 @@ static b_status write_operand_instr(
 
 	if (flags & F_INCLUDE_TYPE) {
 		char type_name[64];
-		struct mie_type *type = mie_value_get_type(value);
+		struct mie_type *type
+			= mie_value_get_type(value, converter->c_ctx);
 		mie_type_to_string(type, type_name, sizeof type_name);
 		write_string_f(converter, "%s ", type_name);
 	}
@@ -244,7 +245,8 @@ static b_status write_operand_block(
 
 	if (flags & F_INCLUDE_TYPE) {
 		char type_name[64];
-		struct mie_type *type = mie_value_get_type(value);
+		struct mie_type *type
+			= mie_value_get_type(value, converter->c_ctx);
 		mie_type_to_string(type, type_name, sizeof type_name);
 		write_string_f(converter, "%s ", type_name);
 	}
diff --git a/mie/data.c b/mie/data.c
index be62f9d..4c1180b 100644
--- a/mie/data.c
+++ b/mie/data.c
@@ -1,19 +1,10 @@
 #include <blue/object/string.h>
+#include <mie/ctx.h>
 #include <mie/data.h>
 #include <mie/type.h>
 #include <stdlib.h>
 #include <string.h>
 
-/* TODO combine this with the ptr_type defined in instr.c */
-static struct mie_type ptr_type = {};
-
-static void init_ptr_type(struct mie_type *out)
-{
-	mie_value_init(&out->t_base, MIE_VALUE_TYPE);
-	out->t_id = MIE_TYPE_PTR;
-	out->t_width = sizeof(uintptr_t) * 8;
-}
-
 struct mie_data *mie_data_create_extern_global(
 	struct mie_type *type, const char *ident)
 {
@@ -50,13 +41,9 @@ struct mie_data *mie_data_create_const(struct mie_const *value)
 	return data;
 }
 
-static struct mie_type *get_type(struct mie_value *v)
+static struct mie_type *get_type(struct mie_value *v, struct mie_ctx *ctx)
 {
-	if (!ptr_type.t_id) {
-		init_ptr_type(&ptr_type);
-	}
-
-	return &ptr_type;
+	return mie_ctx_get_type(ctx, MIE_TYPE_PTR);
 }
 
 const struct mie_value_type data_value_type = {
diff --git a/mie/func.c b/mie/func.c
index 5587895..559b6ee 100644
--- a/mie/func.c
+++ b/mie/func.c
@@ -108,7 +108,7 @@ struct mie_block *mie_func_get_last_block(struct mie_func *func)
 	return (struct mie_block *)b_unbox(struct mie_value, entry, v_entry);
 }
 
-static struct mie_type *get_type(struct mie_value *v)
+static struct mie_type *get_type(struct mie_value *v, struct mie_ctx *ctx)
 {
 	struct mie_func *f = MIE_FUNC(v);
 	return f->f_ret;
diff --git a/mie/include/mie/convert.h b/mie/include/mie/convert.h
index 75c1ead..d5a366a 100644
--- a/mie/include/mie/convert.h
+++ b/mie/include/mie/convert.h
@@ -8,6 +8,7 @@
 #include <stdio.h>
 
 struct mie_value;
+struct mie_ctx;
 
 enum mie_ir_format {
 	MIE_IR_NONE = 0,
@@ -27,6 +28,7 @@ enum mie_ir_converter_medium {
 };
 
 struct mie_ir_converter {
+	struct mie_ctx *c_ctx;
 	enum mie_ir_format c_src_format, c_dest_format;
 	enum mie_ir_converter_medium c_src_medium, c_dest_medium;
 
@@ -50,7 +52,7 @@ struct mie_ir_converter {
 };
 
 MIE_API struct mie_ir_converter *mie_ir_converter_create(
-	enum mie_ir_format src, enum mie_ir_format dest);
+	struct mie_ctx *ctx, enum mie_ir_format src, enum mie_ir_format dest);
 MIE_API void mie_ir_converter_destroy(struct mie_ir_converter *converter);
 
 MIE_API b_status mie_ir_converter_set_src_value(
diff --git a/mie/include/mie/value.h b/mie/include/mie/value.h
index f2f99c0..5457313 100644
--- a/mie/include/mie/value.h
+++ b/mie/include/mie/value.h
@@ -7,6 +7,7 @@
 
 #define MIE_VALUE(p) ((struct mie_value *)(p))
 
+struct mie_ctx;
 struct mie_value;
 
 enum mie_value_type_id {
@@ -29,7 +30,7 @@ enum mie_value_flags {
 
 struct mie_value_type {
 	enum mie_value_type_id t_id;
-	struct mie_type *(*t_get_type)(struct mie_value *);
+	struct mie_type *(*t_get_type)(struct mie_value *, struct mie_ctx *);
 	void (*t_cleanup)(struct mie_value *);
 };
 
@@ -43,7 +44,8 @@ struct mie_value {
 MIE_API void mie_value_init(struct mie_value *val, enum mie_value_type_id type);
 MIE_API void mie_value_destroy(struct mie_value *val);
 
-MIE_API struct mie_type *mie_value_get_type(struct mie_value *val);
+MIE_API struct mie_type *mie_value_get_type(
+	struct mie_value *val, struct mie_ctx *ctx);
 
 static inline bool mie_value_is(
 	const struct mie_value *val, enum mie_value_type_id type_id)
diff --git a/mie/instr.c b/mie/instr.c
index 8871121..8ba98e9 100644
--- a/mie/instr.c
+++ b/mie/instr.c
@@ -1,10 +1,9 @@
+#include <mie/ctx.h>
 #include <mie/instr.h>
 #include <mie/msg.h>
 #include <mie/op.h>
 #include <mie/ptr.h>
 
-static struct mie_type ptr_type = {};
-
 void mie_instr_init(struct mie_instr *instr, enum mie_instr_type type)
 {
 	memset(instr, 0x0, sizeof *instr);
@@ -12,25 +11,14 @@ void mie_instr_init(struct mie_instr *instr, enum mie_instr_type type)
 	instr->i_type = type;
 }
 
-static void init_ptr_type(struct mie_type *out)
-{
-	mie_value_init(&out->t_base, MIE_VALUE_TYPE);
-	out->t_id = MIE_TYPE_PTR;
-	out->t_width = sizeof(uintptr_t) * 8;
-}
-
-static struct mie_type *get_type(struct mie_value *v)
+static struct mie_type *get_type(struct mie_value *v, struct mie_ctx *ctx)
 {
 	struct mie_instr *instr = MIE_INSTR(v);
 
-	if (!ptr_type.t_id) {
-		init_ptr_type(&ptr_type);
-	}
-
 	switch (instr->i_type) {
 	case MIE_INSTR_RET: {
 		struct mie_ret *ret = (struct mie_ret *)instr;
-		return mie_value_get_type(ret->r_val);
+		return mie_value_get_type(ret->r_val, ctx);
 	}
 	case MIE_INSTR_ADD:
 	case MIE_INSTR_SUB:
@@ -44,7 +32,7 @@ static struct mie_type *get_type(struct mie_value *v)
 		return load->l_type;
 	}
 	case MIE_INSTR_ALLOCA:
-		return &ptr_type;
+		return mie_ctx_get_type(ctx, MIE_TYPE_PTR);
 	case MIE_INSTR_MSG: {
 		struct mie_msg *msg = (struct mie_msg *)instr;
 		return msg->msg_ret_type;
diff --git a/mie/record.c b/mie/record.c
index be4d19b..c8a1a3b 100644
--- a/mie/record.c
+++ b/mie/record.c
@@ -17,7 +17,7 @@ struct mie_record *mie_record_create(const struct mie_const *val)
 	return out;
 }
 
-static struct mie_type *get_type(struct mie_value *v)
+static struct mie_type *get_type(struct mie_value *v, struct mie_ctx *ctx)
 {
 	struct mie_record *r = MIE_RECORD(v);
 	return r->r_value->c_type;
diff --git a/mie/type.c b/mie/type.c
index f1724bb..487d385 100644
--- a/mie/type.c
+++ b/mie/type.c
@@ -1,6 +1,6 @@
 #include <mie/type.h>
 
-static struct mie_type *get_type(struct mie_value *v)
+static struct mie_type *get_type(struct mie_value *v, struct mie_ctx *ctx)
 {
 	return MIE_TYPE(v);
 }
diff --git a/mie/value.c b/mie/value.c
index 9851393..046ab5a 100644
--- a/mie/value.c
+++ b/mie/value.c
@@ -46,10 +46,10 @@ void mie_value_destroy(struct mie_value *val)
 	free(val);
 }
 
-struct mie_type *mie_value_get_type(struct mie_value *val)
+struct mie_type *mie_value_get_type(struct mie_value *val, struct mie_ctx *ctx)
 {
 	if (val->v_type->t_get_type) {
-		return val->v_type->t_get_type(val);
+		return val->v_type->t_get_type(val, ctx);
 	}
 
 	return NULL;