make_contract now recognizes the type super.