Typecheck additional parameters

Typecheck the on, play, and position parameters to serverDown, play, writePatternLine and readPatternLine.