Reject polytypes in instance declarations (for now anyway)