Report when unable to make package dirs, renamed 'variable'
Differentiating between functions and closures
Specializing TypeSet a bit
Faking multi-method `+` for now