Inference rules: Add Simple rule for types to vals for inferring record values