Yay type checking in hash arguments
MPC's can be instantiated from a Bignum now