I’ve proved some new theorems. The proofs are currently available in this PDF file.
Theorem The set of funcoids is with separable core.
Theorem The set of funcoids is with co-separable core.
Theorem A funcoid is complete iff
Theorem A reloid is complete iff
It seems (I have not yet checked) that the following conjecture follows from the last theorem:
Conjecture Composition of complete reloids is complete.