Introducing Familiar, a quantified reasoning assistant (feedback sought!) — LessWrong