Enable recording typed math
Merge branch 'typed-math'

* typed-math:
  Enable recording typed math