Types within Raymon