This isn't necessary if we export the get_type function.
This is an initial cut at providing a tool for interactive exploration of constraints.