Unit analysis and type system for Scala