On Foundational Frames for Formal Modelling: Sets, epsilon-Sets and a Model of Conception