Baby's first type checker

https://austinhenley.com/blog/babytypechecker.html