The set of all smooth maps $S^1\to M$ ($M$ is a smooth manifold) is a generalized manifold(see http://ncatlab.org/nlab/show/smooth+loop+space).
I was wondering if the set of singular loops (maps with selfcrossings or zeros of derivative) is a (Fréchet,Frolicher,diffeological)submanifold of loop space?