Typechecked markdown documentation for Scala