front-end tweaks, the main one being specifying the type signature of an op as a single argument instead of two