Clone of corepy, a synthetic programming library.