Type Correctness Step 1: Hand and HandRel