Finish the default contract code generator (#59).