Finalized, commented, fixed bug in substitution composition, readme.