Package frege.rt