defining errorMsgSpan.
defining typeForUser.
defining deSugar.