Function: check-face

Signal an error if FACE doesn't name a face.
Value is FACE.