add apply demo
add idealized boolean demo
add Nat demo
add variance demo
Merge branch 'master' of github.com:xupeixiang/scala-course