Finished up defstmt macro (I think).

Deleted spurious file.