Added factorial example and some more notes