Closed typeless closed 4 years ago
Closes #194
Merged. (fixed up last commit, so I think I may have confused github)
Closes #194