finished types/ casting.md, typeof.md