Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language