Update Fix to include datatype parameters, make Fix nominal, and add it to the initial env.