Need to create a CI type checker before merge. Caught a markup bug in #107.
Need to create a CI type checker before merge. Caught a markup bug in #107.