code: private Environment checkSkip(Stmt.Skip stmt, Environment environment, EnclosingScope scope) {
  		return environment;
  	}
docs: Type check a <code>skip</code> statement, which has no effect on the
  environment.
  
  @param stmt
  Statement to type check
  @param environment
  Determines the type of all variables immediately going into this
  block
  @return