Update type level programming.md