Make wellformed

This is a metascript which performs all the above actions in one go. It is not implemented yet.