Genifer 3.0 (general inference engine), in Scala