A minimalist implementation of type theory in Scala