Make sure hw7 (sml) compiles and passes provided tests