Type-Level Metaprogramming Library in Scala