Demo of embedded language with type provider