Finite embedding theorems for partial designs and algebras