Changed around the resolver

Shitton of pseudocode in resolver case statement and completed
isValidUser() and CHECK case