Fix type checker not substituting type var when unifying match arms

Fix type checker not substituting type var when unifying match arms #1237