Some notes on reducing monomorphizations

@dotdash interesting point about casting the arguments, thanks. @sunfish also suggested that might be nicer to LLVM but he wasn’t sure in either case what the impact would be.