Typing enhancements for ClojureWest demo