Towards Constructivising the Freyd-Mitchell Embedding Theorem