replace the $ signs in binary names with ., otherwise type checker doesn't know inheritance relations of nested classes
replace the $ signs in binary names with ., otherwise type checker doesn't know inheritance relations of nested classes

scrotty/frege,mperry/frege,vsts/frege,mperry/frege,scrotty/frege,vsts/frege,scrotty/frege,mperry/frege,vsts/frege