Change the messages that come out of the type precheck, to distinguish
between the given type not having enough _available_ nodes and not having enough _suitable_ nodes. Also, fix a silly bug in which I was running the type precheck one too many times. This didn't hurt anything, just took a little bit of time.
Showing with 22 additions and 16 deletions