Harmonized procdef syntax, better error info