Did a bit of work on tyvar inlining