Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization

function print() {
  alert("Hi there!");
}

function bar(s) {
  alert("<<" + s + ">>");
}